Christian Badertscher

发表

Composable and Robust Outsourced Storage

Ueli Maurer, Christian Badertscher, U. Maurer, 2018, IACR Cryptol. ePrint Arch..

Bitcoin as a Transaction Ledger: A Composable Treatment

Ueli Maurer, Christian Badertscher, Daniel Tschudi, 2017, CRYPTO.

Efficiency lower bounds for commit-and-prove constructions

Ueli Maurer, Sandro Coretti, Christian Badertscher, 2017, 2017 IEEE International Symposium on Information Theory (ISIT).

Security Limitations of Classical-Client Delegated Quantum Computing pdf

Alexandru Cojocaru, Petros Wallden, Christian Badertscher, 2020, IACR Cryptol. ePrint Arch..

On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger

Christian Badertscher, Vassilis Zikas, Julia Hesse, 2020, IACR Cryptol. ePrint Arch..

Consistency for Functional Encryption

Aggelos Kiayias, Markulf Kohlweiss, Christian Badertscher, 2020, IACR Cryptol. ePrint Arch..

Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy

Aggelos Kiayias, Alexander Russell, Christian Badertscher, 2020, IACR Cryptol. ePrint Arch..

Strengthening Access Control Encryption

Ueli Maurer, Christian Badertscher, Christian Matt, 2017, ASIACRYPT.

Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake

Aggelos Kiayias, Alexander Russell, Christian Badertscher, 2019, IACR Cryptol. ePrint Arch..

A Constructive Perspective on Signcryption Security

Ueli Maurer, Christian Badertscher, Fabio Banfi, 2018, IACR Cryptol. ePrint Arch..

Agree-and-Prove: Generalized Proofs Of Knowledge and Applications

Ueli Maurer, Daniel Jost, Christian Badertscher, 2019, IACR Cryptol. ePrint Arch..

Revisiting (R)CCA Security and Replay Protection

Ueli Maurer, Christian Badertscher, Christopher Portmann, 2020, IACR Cryptol. ePrint Arch..

Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer

Ueli Maurer, Phillip Rogaway, Christian Badertscher, 2015, ProvSec.

Robust Authenticated Encryption and the Limits of Symmetric Cryptography

Ueli Maurer, Phillip Rogaway, Christian Badertscher, 2015, IACR Cryptol. ePrint Arch..

Key exchange security in constructive cryptography

Christian Badertscher, 2012 .

Universal Composition with Global Subroutines: Capturing Global Setup within plain UC

Ran Canetti, Christian Badertscher, Vassilis Zikas, 2020, IACR Cryptol. ePrint Arch..

A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT

Daniel Jost, Christian Badertscher, Fabio Banfi, 2018, IACR Cryptol. ePrint Arch..

On Composable Security for Digital Signatures

Ueli Maurer, Christian Badertscher, Björn Tackmann, 2018, IACR Cryptol. ePrint Arch..

Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability

Aggelos Kiayias, Alexander Russell, Christian Badertscher, 2018, IACR Cryptol. ePrint Arch..

Idealizations of Practical Cryptographic Building Blocks

Christian Badertscher, Christian Badertscher, 2018 .

But Why does it Work? A Rational Protocol Design Treatment of Bitcoin

Ueli Maurer, Juan A. Garay, Christian Badertscher, 2018, IACR Cryptol. ePrint Arch..

A Rational Protocol Treatment of 51% Attacks

Christian Badertscher, Vassilis Zikas, Yun Lu, 2021, IACR Cryptol. ePrint Arch..

Policy-Compliant Signatures

Christian Badertscher, Christian Matt, Hendrik Waldner, 2021, IACR Cryptol. ePrint Arch..

Dynamic Ad Hoc Clock Synchronization

Aggelos Kiayias, Alexander Russell, Christian Badertscher, 2021, EUROCRYPT.

Generalized Proofs of Knowledge with Fully Dynamic Setup

Ueli Maurer, Daniel Jost, Christian Badertscher, 2021, TCC.