Christian Badertscher

According to our database, Christian Badertscher authored at least 33 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle.

Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, Luisa Siniscalchi

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

Unlinkable Policy-Compliant Signatures for Compliant and Decentralized Anonymous Payments.

Christian Badertscher, Mahdi Sedaghat, Hendrik Waldner

Proc. Priv. Enhancing Technol., 2024

Updatable Policy-Compliant Signatures.

Christian Badertscher, Monosij Maitra, Christian Matt, Hendrik Waldner

Proceedings of the Public-Key Cryptography - PKC 2024, 2024

Consensus Redux: Distributed Ledgers in the Face of Adversarial Supremacy.

Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

What Did Come Out of It? Analysis and Improvements of DIDComm Messaging.

Christian Badertscher, Fabio Banfi, Jesus Diaz

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Scalable and Lightweight State-Channel Audits.

Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira

Proceedings of the Cryptology and Network Security - 23rd International Conference, 2024

2023

Fine-Grained Accountable Privacy via Unlinkable Policy-Compliant Signatures.

Christian Badertscher, Mahdi Sedaghat, Hendrik Waldner

IACR Cryptol. ePrint Arch., 2023

Agile Cryptography: A Universally Composable Approach.

Christian Badertscher, Michele Ciampi, Aggelos Kiayias

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

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 Composable Approach.

Christian Badertscher, Michele Ciampi, Aggelos Kiayias

IACR Cryptol. ePrint Arch., 2022

A Composable Security Treatment of ECVRF and Batch Verifications.

Christian Badertscher, Peter Gazi, Iñigo Querejeta-Azurmendi, Alexander Russell

Proceedings of the Computer Security - ESORICS 2022, 2022

2021

Generalized Proofs of Knowledge with Fully Dynamic Setup.

Christian Badertscher, Daniel Jost, Ueli Maurer

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

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

Christian Badertscher, Julia Hesse, Vassilis Zikas

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Policy-Compliant Signatures.

Christian Badertscher, Christian Matt, Hendrik Waldner

Proceedings of the Theory of Cryptography - 19th International Conference, 2021

Revisiting (R)CCA Security and Replay Protection.

Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito

Proceedings of the Public-Key Cryptography - PKC 2021, 2021

Dynamic Ad Hoc Clock Synchronization.

Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Consistency for Functional Encryption.

Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

A Rational Protocol Treatment of 51% Attacks.

Christian Badertscher, Yun Lu, Vassilis Zikas

Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020

Universal Composition with Global Subroutines: Capturing Global Setup Within Plain UC.

Christian Badertscher, Ran Canetti, Julia Hesse, Björn Tackmann, Vassilis Zikas

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Security Limitations of Classical-Client Delegated Quantum Computing.

Christian Badertscher, Alexandru Cojocaru, Léo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden

Proceedings of the Advances in Cryptology - ASIACRYPT 2020, 2020

2019

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

Christian Badertscher, Daniel Jost, Ueli Maurer

IACR Cryptol. ePrint Arch., 2019

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

Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas

IACR Cryptol. ePrint Arch., 2019

2018

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

Daniel Jost, Christian Badertscher, Fabio Banfi

IACR Cryptol. ePrint Arch., 2018

A Constructive Perspective on Signcryption Security.

Christian Badertscher, Fabio Banfi, Ueli Maurer

Proceedings of the Security and Cryptography for Networks - 11th International Conference, 2018

On Composable Security for Digital Signatures.

Christian Badertscher, Ueli Maurer, Björn Tackmann

Proceedings of the Public-Key Cryptography - PKC 2018, 2018

But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin.

Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas

Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

Composable and Robust Outsourced Storage.

Christian Badertscher, Ueli Maurer

Proceedings of the Topics in Cryptology - CT-RSA 2018, 2018

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

Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Efficiency lower bounds for commit-and-prove constructions.

Christian Badertscher, Sandro Coretti, Chen-Da Liu Zhang, Ueli Maurer

Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017

Bitcoin as a Transaction Ledger: A Composable Treatment.

Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

Strengthening Access Control Encryption.

Christian Badertscher, Christian Matt, Ueli Maurer

Proceedings of the Advances in Cryptology - ASIACRYPT 2017, 2017

2015

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

Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann

Proceedings of the Provable Security, 2015

Robust Authenticated Encryption and the Limits of Symmetric Cryptography.

Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Björn Tackmann

Proceedings of the Cryptography and Coding - 15th IMA International Conference, 2015