| Ouroboros genesis: Composable proof-of-stake blockchains with dynamic availability C Badertscher, P Gaži, A Kiayias, A Russell, V Zikas Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 122 | 2018 |
| Bitcoin as a transaction ledger: A composable treatment C Badertscher, U Maurer, D Tschudi, V Zikas Annual international cryptology conference, 324-356, 2017 | 119 | 2017 |
| But why does it work? A rational protocol design treatment of bitcoin C Badertscher, J Garay, U Maurer, D Tschudi, V Zikas Annual international conference on the theory and applications of …, 2018 | 48 | 2018 |
| Augmented secure channels and the goal of the TLS 1.3 record layer C Badertscher, C Matt, U Maurer, P Rogaway, B Tackmann International Conference on Provable Security, 85-104, 2015 | 31 | 2015 |
| Robust authenticated encryption and the limits of symmetric cryptography C Badertscher, C Matt, U Maurer, P Rogaway, B Tackmann IMA International Conference on Cryptography and Coding, 112-129, 2015 | 13 | 2015 |
| Strengthening access control encryption C Badertscher, C Matt, U Maurer International Conference on the Theory and Application of Cryptology and …, 2017 | 11 | 2017 |
| Ouroboros Chronos: Permissionless Clock Synchronization via Proof-of-Stake. C Badertscher, P Gazi, A Kiayias, A Russell, V Zikas IACR Cryptol. ePrint Arch. 2019, 838, 2019 | 10 | 2019 |
| A constructive perspective on signcryption security C Badertscher, F Banfi, U Maurer International Conference on Security and Cryptography for Networks, 102-120, 2018 | 6 | 2018 |
| Composable and robust outsourced storage C Badertscher, U Maurer Cryptographers’ Track at the RSA Conference, 354-373, 2018 | 4 | 2018 |
| Security limitations of classical-client delegated quantum computing C Badertscher, A Cojocaru, L Colisson, E Kashefi, D Leichtle, A Mantri, ... International Conference on the Theory and Application of Cryptology and …, 2020 | 3 | 2020 |
| Universal composition with global subroutines: Capturing global setup within plain UC C Badertscher, R Canetti, J Hesse, B Tackmann, V Zikas Theory of Cryptography Conference, 1-30, 2020 | 3 | 2020 |
| Agree-and-Prove: Generalized Proofs Of Knowledge and Applications. C Badertscher, D Jost, U Maurer IACR Cryptol. ePrint Arch. 2019, 662, 2019 | 2 | 2019 |
| On composable security for digital signatures C Badertscher, U Maurer, B Tackmann IACR International Workshop on Public Key Cryptography, 494-523, 2018 | 2 | 2018 |
| Consensus redux: distributed ledgers in the face of adversarial supremacy C Badertscher, P Gazi, A Kiayias, A Russell, V Zikas Cryptology ePrint Archive, Report 2020/1021, 2020 | 1 | 2020 |
| A note on the equivalence of IND-CCA & INT-PTXT and IND-CCA & INT-CTXT. D Jost, C Badertscher, F Banfi IACR Cryptol. ePrint Arch. 2018, 135, 2018 | 1 | 2018 |
| Efficiency lower bounds for commit-and-prove constructions C Badertscher, S Coretti, U Maurer 2017 IEEE International Symposium on Information Theory (ISIT), 1788-1792, 2017 | 1 | 2017 |
| Key exchange security in constructive cryptography C Badertscher Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2012 | 1 | 2012 |
| On the (Ir) Replaceability of Global Setups, or How (Not) to Use a Global Ledger C Badertscher, J Hesse, V Zikas | | 2020 |
| Revisiting (R) CCA Security and Replay Protection C Badertscher, U Maurer, C Portmann, G Rito Cryptology ePrint Archive, 2020 | | 2020 |
| Consistency for Functional Encryption. C Badertscher, A Kiayias, M Kohlweiss, H Waldner IACR Cryptol. ePrint Arch. 2020, 137, 2020 | | 2020 |
Ueli MaurerProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
