Christian Badertscher

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Updatable policy-compliant signatures	2024-11-12	Paper
Agile cryptography: a universally composable approach	2024-08-15	Paper
Bitcoin as a Transaction Ledger: A Composable Treatment Journal of Cryptology	2024-04-21	Paper
A composable security treatment of ECVRF and batch verifications Computer Security – ESORICS 2022	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 (available as arXiv preprint)	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 Provable Security	2016-01-27	Paper
Robust authenticated encryption and the limits of symmetric cryptography Cryptography and Coding	2016-01-12	Paper

Research outcomes over time

This page was built for person: Christian Badertscher