Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. - Christian Badertscher; Christian Matt 002; Ueli Maurer; Phillip Rogaway; Björn Tackmann (IACR Cryptol. ePrint Arch., 2015)

Robust Authenticated Encryption and the Limits of Symmetric Cryptography. - Christian Badertscher; Christian Matt 002; Ueli Maurer; Phillip Rogaway; Björn Tackmann (IACR Cryptol. ePrint Arch., 2015)

Efficiency lower bounds for commit-and-prove constructions. - Christian Badertscher; Sandro Coretti; Chen-Da Liu Zhang; Ueli Maurer (ISIT, 2017)

Strengthening Access Control Encryption. - Christian Badertscher; Christian Matt 002; Ueli Maurer (IACR Cryptol. ePrint Arch., 2017)

Composable and Robust Outsourced Storage. - Christian Badertscher; Ueli Maurer (IACR Cryptol. ePrint Arch., 2017)

A Constructive Perspective on Signcryption Security. - Christian Badertscher; Fabio Banfi; Ueli Maurer (IACR Cryptol. ePrint Arch., 2018)

Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. - Christian Badertscher; Peter Gazi; Aggelos Kiayias; Alexander Russell; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2018)

But Why does it Work? A Rational Protocol Design Treatment of Bitcoin. - Christian Badertscher; Juan A. Garay; Ueli Maurer; Daniel Tschudi; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2018)

On Composable Security for Digital Signatures. - Christian Badertscher; Ueli Maurer; Björn Tackmann (IACR Cryptol. ePrint Arch., 2018)

A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT. - Daniel Jost 001; Christian Badertscher; Fabio Banfi (IACR Cryptol. ePrint Arch., 2018)

Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake. - Christian Badertscher; Peter Gazi; Aggelos Kiayias; Alexander Russell; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2019)

Agree-and-Prove: Generalized Proofs Of Knowledge and Applications. - Christian Badertscher; Daniel Jost 001; Ueli Maurer (IACR Cryptol. ePrint Arch., 2019)

Security Limitations of Classical-Client Delegated Quantum Computing. - Christian Badertscher; Alexandru Cojocaru; Léo Colisson; Elham Kashefi; Dominik Leichtle; Atul Mantri; Petros Wallden (IACR Cryptol. ePrint Arch., 2020)

Universal Composition with Global Subroutines: Capturing Global Setup within plain UC. - Christian Badertscher; Ran Canetti; Julia Hesse; Björn Tackmann; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2020)

Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy. - Christian Badertscher; Peter Gazi; Aggelos Kiayias; Alexander Russell; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2020)

On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger. - Christian Badertscher; Julia Hesse; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2020)

Consistency for Functional Encryption. - Christian Badertscher; Aggelos Kiayias; Markulf Kohlweiss; Hendrik Waldner (IACR Cryptol. ePrint Arch., 2020)

Revisiting (R)CCA Security and Replay Protection. - Christian Badertscher; Ueli Maurer; Christopher Portmann; Guilherme Rito (IACR Cryptol. ePrint Arch., 2020)

Dynamic Ad Hoc Clock Synchronization. - Christian Badertscher; Peter Gazi; Aggelos Kiayias; Alexander Russell; Vassilis Zikas (EUROCRYPT (3), 2021)

Generalized Proofs of Knowledge with Fully Dynamic Setup. - Christian Badertscher; Daniel Jost 001; Ueli Maurer (TCC (1), 2021)

A Rational Protocol Treatment of 51% Attacks. - Christian Badertscher; Yun Lu 001; Vassilis Zikas (IACR Cryptol. ePrint Arch., 2021)

Policy-Compliant Signatures. - Christian Badertscher; Christian Matt 002; Hendrik Waldner (IACR Cryptol. ePrint Arch., 2021)

A Composable Security Treatment of ECVRF and Batch Verifications. - Christian Badertscher; Peter Gazi; Iñigo Querejeta-Azurmendi; Alexander Russell (ESORICS (3), 2022)

Agile Cryptography: A Composable Approach. - Christian Badertscher; Michele Ciampi; Aggelos Kiayias (IACR Cryptol. ePrint Arch., 2022)

On UC-Secure Range Extension and Batch Verification for ECVRF. - Christian Badertscher; Peter Gazi; Iñigo Querejeta-Azurmendi; Alexander Russell (IACR Cryptol. ePrint Arch., 2022)

Agile Cryptography: A Universally Composable Approach. - Christian Badertscher; Michele Ciampi; Aggelos Kiayias (TCC (4), 2023)

Fine-Grained Accountable Privacy via Unlinkable Policy-Compliant Signatures. - Christian Badertscher; Mahdi Sedaghat; Hendrik Waldner (IACR Cryptol. ePrint Arch., 2023)

What Did Come Out of It? Analysis and Improvements of DIDComm Messaging. - Christian Badertscher; Fabio Banfi; Jesus Diaz (IACR Cryptol. ePrint Arch., 2024)

Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle. - Christian Badertscher; Matteo Campanelli; Michele Ciampi; Luigi Russo 001; Luisa Siniscalchi (IACR Cryptol. ePrint Arch., 2024)

Scalable and Lightweight State-Channel Audits. - Christian Badertscher; Maxim Jourenko; Dimitris Karakostas; Mario Larangeira (IACR Cryptol. ePrint Arch., 2024)

Updatable Policy-Compliant Signatures. - Christian Badertscher; Monosij Maitra; Christian Matt 002; Hendrik Waldner (IACR Cryptol. ePrint Arch., 2024)

Unlinkable Policy-Compliant Signatures for Compliant and Decentralized Anonymous Payments. - Christian Badertscher; Mahdi Sedaghat; Hendrik Waldner (Proc. Priv. Enhancing Technol., 2024)

Bitcoin as a Transaction Ledger: A Composable Treatment. - Christian Badertscher; Ueli Maurer; Daniel Tschudi; Vassilis Zikas (J. Cryptol., 2024)