Christian Badertscher

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