Christian Badertscher

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

Collaborative distances:

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

2024

Bitcoin as a Transaction Ledger: A Composable Treatment.

Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas

J. Cryptol., June, 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

IACR Cryptol. ePrint Arch., 2024

Scalable and Lightweight State-Channel Audits.

Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira

IACR Cryptol. ePrint Arch., 2024

Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle.

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

IACR Cryptol. ePrint Arch., 2024

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

Christian Badertscher, Fabio Banfi, Jesus Diaz

IACR Cryptol. ePrint Arch., 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

Policy-Compliant Signatures.

Christian Badertscher, Christian Matt, Hendrik Waldner

IACR Cryptol. ePrint Arch., 2021

A Rational Protocol Treatment of 51% Attacks.

Christian Badertscher, Yun Lu, Vassilis Zikas

IACR Cryptol. ePrint Arch., 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

Dynamic Ad Hoc Clock Synchronization.

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

Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

2020

Revisiting (R)CCA Security and Replay Protection.

Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito

IACR Cryptol. ePrint Arch., 2020

Consistency for Functional Encryption.

Christian Badertscher, Aggelos Kiayias, Markulf Kohlweiss, Hendrik Waldner

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

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

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

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

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

On Composable Security for Digital Signatures.

Christian Badertscher, Ueli Maurer, Björn Tackmann

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

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

A Constructive Perspective on Signcryption Security.

Christian Badertscher, Fabio Banfi, Ueli Maurer

IACR Cryptol. ePrint Arch., 2018

2017

Composable and Robust Outsourced Storage.

Christian Badertscher, Ueli Maurer

IACR Cryptol. ePrint Arch., 2017

Strengthening Access Control Encryption.

Christian Badertscher, Christian Matt, Ueli Maurer

IACR Cryptol. ePrint Arch., 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

2015

Robust Authenticated Encryption and the Limits of Symmetric Cryptography.

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

IACR Cryptol. ePrint Arch., 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

IACR Cryptol. ePrint Arch., 2015