Christian Badertscher

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 46

Top Topics

Equivalence Relationship

Quantum Computing

Digital Signature

Top Venues

IACR Cryptol. ePrint Arch.

Public Key Cryptography (1)

Publications

Christian Badertscher, Monosij Maitra, Christian Matt, Hendrik Waldner
Updatable Policy-Compliant Signatures. Public Key Cryptography (1) (2024)
Christian Badertscher, Mahdi Sedaghat, Hendrik Waldner
Unlinkable Policy-Compliant Signatures for Compliant and Decentralized Anonymous Payments. Proc. Priv. Enhancing Technol. 2024 (4) (2024)
Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira
Scalable and Lightweight State-Channel Audits. IACR Cryptol. ePrint Arch. 2024 (2024)
Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment. J. Cryptol. 37 (2) (2024)
Christian Badertscher, Monosij Maitra, Christian Matt, Hendrik Waldner
Updatable Policy-Compliant Signatures. IACR Cryptol. ePrint Arch. 2024 (2024)
Christian Badertscher, Michele Ciampi, Aggelos Kiayias
Agile Cryptography: A Universally Composable Approach. TCC (4) (2023)
Christian Badertscher, Mahdi Sedaghat, Hendrik Waldner
Fine-Grained Accountable Privacy via Unlinkable Policy-Compliant Signatures. IACR Cryptol. ePrint Arch. 2023 (2023)
Christian Badertscher, Michele Ciampi, Aggelos Kiayias
Agile Cryptography: A Composable Approach. IACR Cryptol. ePrint Arch. 2022 (2022)
Christian Badertscher, Peter Gazi, Iñigo Querejeta-Azurmendi, Alexander Russell
On UC-Secure Range Extension and Batch Verification for ECVRF. IACR Cryptol. ePrint Arch. 2022 (2022)
Christian Badertscher, Peter Gazi, Iñigo Querejeta-Azurmendi, Alexander Russell
A Composable Security Treatment of ECVRF and Batch Verifications. ESORICS (3) (2022)
Christian Badertscher, Christian Matt, Hendrik Waldner
Policy-Compliant Signatures. TCC (3) (2021)
Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito
Revisiting (R)CCA Security and Replay Protection. Public Key Cryptography (2) (2021)
Christian Badertscher, Yun Lu, Vassilis Zikas
A Rational Protocol Treatment of 51% Attacks. CRYPTO (3) (2021)
Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner
Consistency for Functional Encryption. CSF (2021)
Christian Badertscher, Julia Hesse, Vassilis Zikas
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger. TCC (2) (2021)
Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas
Dynamic Ad Hoc Clock Synchronization. EUROCRYPT (3) (2021)
Christian Badertscher, Daniel Jost, Ueli Maurer
Generalized Proofs of Knowledge with Fully Dynamic Setup. TCC (1) (2021)
Christian Badertscher, Yun Lu, Vassilis Zikas
A Rational Protocol Treatment of 51% Attacks. IACR Cryptol. ePrint Arch. 2021 (2021)
Christian Badertscher, Christian Matt, Hendrik Waldner
Policy-Compliant Signatures. IACR Cryptol. ePrint Arch. 2021 (2021)
Christian Badertscher, Ran Canetti, Julia Hesse, Björn Tackmann, Vassilis Zikas
Universal Composition with Global Subroutines: Capturing Global Setup within plain UC. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden
Security Limitations of Classical-Client Delegated Quantum Computing. ASIACRYPT (2) (2020)
Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito
Revisiting (R)CCA Security and Replay Protection. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner
Consistency for Functional Encryption. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas
Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden
Security Limitations of Classical-Client Delegated Quantum Computing. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Ran Canetti, Julia Hesse, Björn Tackmann, Vassilis Zikas
Universal Composition with Global Subroutines: Capturing Global Setup Within Plain UC. TCC (3) (2020)
Christian Badertscher, Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden
Security Limitations of Classical-Client Delegated Quantum Computing. CoRR (2020)
Christian Badertscher, Julia Hesse, Vassilis Zikas
On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger. IACR Cryptol. ePrint Arch. 2020 (2020)
Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas
Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake. IACR Cryptol. ePrint Arch. 2019 (2019)
Christian Badertscher, Daniel Jost, Ueli Maurer
Agree-and-Prove: Generalized Proofs Of Knowledge and Applications. IACR Cryptol. ePrint Arch. 2019 (2019)
Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Fabio Banfi, Ueli Maurer
A Constructive Perspective on Signcryption Security. SCN (2018)
Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. EUROCRYPT (2) (2018)
Christian Badertscher, Ueli Maurer, Björn Tackmann
On Composable Security for Digital Signatures. Public Key Cryptography (1) (2018)
Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
But Why does it Work? A Rational Protocol Design Treatment of Bitcoin. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Ueli Maurer, Björn Tackmann
On Composable Security for Digital Signatures. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas
Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. CCS (2018)
Daniel Jost, Christian Badertscher, Fabio Banfi
A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Fabio Banfi, Ueli Maurer
A Constructive Perspective on Signcryption Security. IACR Cryptol. ePrint Arch. 2018 (2018)
Christian Badertscher, Ueli Maurer
Composable and Robust Outsourced Storage. CT-RSA (2018)
Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment. IACR Cryptol. ePrint Arch. 2017 (2017)
Christian Badertscher, Christian Matt, Ueli Maurer
Strengthening Access Control Encryption. IACR Cryptol. ePrint Arch. 2017 (2017)
Christian Badertscher, Ueli Maurer
Composable and Robust Outsourced Storage. IACR Cryptol. ePrint Arch. 2017 (2017)
Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas
Bitcoin as a Transaction Ledger: A Composable Treatment. CRYPTO (1) (2017)
Christian Badertscher, Sandro Coretti, Chen-Da Liu Zhang, Ueli Maurer
Efficiency lower bounds for commit-and-prove constructions. ISIT (2017)
Christian Badertscher, Christian Matt, Ueli Maurer
Strengthening Access Control Encryption. ASIACRYPT (1) (2017)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Robust Authenticated Encryption and the Limits of Symmetric Cryptography. IACR Cryptol. ePrint Arch. 2015 (2015)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Robust Authenticated Encryption and the Limits of Symmetric Cryptography. IMACC (2015)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. ProvSec (2015)
Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann
Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. IACR Cryptol. ePrint Arch. 2015 (2015)