Christian Badertscher

Available identifiers

Publication	Date of Publication	Type
Bitcoin as a Transaction Ledger: A Composable Treatment	2024-04-21	Paper
A composable security treatment of ECVRF and batch verifications	2023-07-28	Paper
On the (Ir)replaceability of global setups, or how (not) to use a global ledger	2023-04-13	Paper
Policy-compliant signatures	2023-04-13	Paper
Generalized proofs of knowledge with fully dynamic setup	2023-03-31	Paper
Security limitations of classical-client delegated quantum computing	2023-03-21	Paper
A rational protocol treatment of 51\% attacks	2022-04-22	Paper
Universal composition with global subroutines: capturing global setup within plain UC	2022-03-23	Paper
Revisiting (R)CCA security and replay protection	2021-12-21	Paper
Dynamic ad hoc clock synchronization	2021-12-08	Paper
Composable and robust outsourced storage	2020-01-21	Paper
A constructive perspective on signcryption security	2018-10-17	Paper
But why does it work? A rational protocol design treatment of bitcoin	2018-07-09	Paper
On composable security for digital signatures	2018-05-16	Paper
Strengthening access control encryption	2018-04-06	Paper
Bitcoin as a transaction ledger: a composable treatment	2017-11-03	Paper
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer	2016-01-27	Paper
Robust Authenticated Encryption and the Limits of Symmetric Cryptography	2016-01-12	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Badertscher