Christian Badertscher
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
11
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CRYPTO | Universally Composable SNARKs with Transparent Setup without Programmable Random Oracle. | Christian Badertscher, Matteo Campanelli, Michele Ciampi, Luigi Russo, Luisa Siniscalchi |
| 2024 | CANS | Scalable and Lightweight State-Channel Audits. | Christian Badertscher, Maxim Jourenko, Dimitris Karakostas, Mario Larangeira |
| 2024 | CCS | What Did Come Out of It? Analysis and Improvements of DIDComm Messaging. | Christian Badertscher, Fabio Banfi, Jesus Diaz |
| 2024 | PKC | Updatable Policy-Compliant Signatures. | Christian Badertscher, Monosij Maitra, Christian Matt, Hendrik Waldner |
| 2023 | TCC | Agile Cryptography: A Universally Composable Approach. | Christian Badertscher, Michele Ciampi, Aggelos Kiayias |
| 2022 | ESORICS | A Composable Security Treatment of ECVRF and Batch Verifications. | Christian Badertscher, Peter Gazi, Iigo Querejeta-Azurmendi, Alexander Russell |
| 2021 | CRYPTO | A Rational Protocol Treatment of 51% Attacks. | Christian Badertscher, Yun Lu, Vassilis Zikas |
| 2021 | EuroCrypt | Dynamic Ad Hoc Clock Synchronization. | Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas |
| 2021 | PKC | Revisiting (R)CCA Security and Replay Protection. | Christian Badertscher, Ueli Maurer, Christopher Portmann, Guilherme Rito |
| 2021 | TCC | Policy-Compliant Signatures. | Christian Badertscher, Christian Matt, Hendrik Waldner |
| 2021 | TCC | On the (Ir)Replaceability of Global Setups, or How (Not) to Use a Global Ledger. | Christian Badertscher, Julia Hesse, Vassilis Zikas |
| 2021 | TCC | Generalized Proofs of Knowledge with Fully Dynamic Setup. | Christian Badertscher, Daniel Jost, Ueli Maurer |
| 2020 | ASIACRYPT | Security Limitations of Classical-Client Delegated Quantum Computing. | Christian Badertscher, Alexandru Cojocaru, Lo Colisson, Elham Kashefi, Dominik Leichtle, Atul Mantri, Petros Wallden |
| 2020 | TCC | Universal Composition with Global Subroutines: Capturing Global Setup Within Plain UC. | Christian Badertscher, Ran Canetti, Julia Hesse, Bjrn Tackmann, Vassilis Zikas |
| 2018 | CCS | Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. | Christian Badertscher, Peter Gazi, Aggelos Kiayias, Alexander Russell, Vassilis Zikas |
| 2018 | EuroCrypt | But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. | Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas |
| 2018 | PKC | On Composable Security for Digital Signatures. | Christian Badertscher, Ueli Maurer, Bjrn Tackmann |
| 2018 | SCN | A Constructive Perspective on Signcryption Security. | Christian Badertscher, Fabio Banfi, Ueli Maurer |
| 2017 | ASIACRYPT | Strengthening Access Control Encryption. | Christian Badertscher, Christian Matt, Ueli Maurer |
| 2017 | CRYPTO | Bitcoin as a Transaction Ledger: A Composable Treatment. | Christian Badertscher, Ueli Maurer, Daniel Tschudi, Vassilis Zikas |
| 2017 | ISIT | Efficiency lower bounds for commit-and-prove constructions. | Christian Badertscher, Sandro Coretti, Chen-Da Liu Zhang, Ueli Maurer |
| 2015 | ProvSec | Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer. | Christian Badertscher, Christian Matt, Ueli Maurer, Phillip Rogaway, Bjrn Tackmann |