| 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 | 368 | 2018 |
| Bitcoin as a transaction ledger: A composable treatment C Badertscher, U Maurer, D Tschudi, V Zikas Journal of Cryptology 37 (2), 18, 2024 | 285 | 2024 |
| But why does it work? A rational protocol design treatment of bitcoin C Badertscher, J Garay, U Maurer, D Tschudi, V Zikas Advances in Cryptology–EUROCRYPT 2018: 37th Annual International Conference …, 2018 | 105 | 2018 |
| 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 | 47 | 2020 |
| Augmented secure channels and the goal of the TLS 1.3 record layer C Badertscher, C Matt, U Maurer, P Rogaway, B Tackmann Provable Security: 9th International Conference, ProvSec 2015, Kanazawa …, 2015 | 41 | 2015 |
| Dynamic ad hoc clock synchronization C Badertscher, P Gaži, A Kiayias, A Russell, V Zikas Annual International Conference on the Theory and Applications of …, 2021 | 40* | 2021 |
| Strengthening access control encryption C Badertscher, C Matt, U Maurer Advances in Cryptology–ASIACRYPT 2017: 23rd International Conference on the …, 2017 | 35 | 2017 |
| 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 | 31 | 2020 |
| A rational protocol treatment of 51% attacks C Badertscher, Y Lu, V Zikas Advances in Cryptology–CRYPTO 2021: 41st Annual International Cryptology …, 2021 | 19 | 2021 |
| A constructive perspective on signcryption security C Badertscher, F Banfi, U Maurer Security and Cryptography for Networks: 11th International Conference, SCN …, 2018 | 19 | 2018 |
| Consensus redux: distributed ledgers in the face of adversarial supremacy C Badertscher, P Gaži, A Kiayias, A Russell, V Zikas 2024 IEEE 37th Computer Security Foundations Symposium (CSF), 143-158, 2024 | 18 | 2024 |
| Robust authenticated encryption and the limits of symmetric cryptography C Badertscher, C Matt, U Maurer, P Rogaway, B Tackmann Cryptography and Coding: 15th IMA International Conference, IMACC 2015 …, 2015 | 14 | 2015 |
| A composable security treatment of ECVRF and batch verifications C Badertscher, P Gaži, I Querejeta-Azurmendi, A Russell European Symposium on Research in Computer Security, 22-41, 2022 | 11* | 2022 |
| On composable security for digital signatures C Badertscher, U Maurer, B Tackmann Public-Key Cryptography–PKC 2018: 21st IACR International Conference on …, 2018 | 10 | 2018 |
| Composable and robust outsourced storage C Badertscher, U Maurer Topics in Cryptology–CT-RSA 2018: The Cryptographers' Track at the RSA …, 2018 | 9 | 2018 |
| Policy-compliant signatures C Badertscher, C Matt, H Waldner Theory of Cryptography Conference, 350-381, 2021 | 8 | 2021 |
| Revisiting (R) CCA security and replay protection C Badertscher, U Maurer, C Portmann, G Rito IACR International Conference on Public-Key Cryptography, 173-202, 2021 | 8 | 2021 |
| Unlinkable policy-compliant signatures for compliant and decentralized anonymous payments C Badertscher, M Sedaghat, H Waldner Cryptology ePrint Archive, 2023 | 7* | 2023 |
| On the (ir) replaceability of global setups, or how (not) to use a global ledger C Badertscher, J Hesse, V Zikas Theory of Cryptography: 19th International Conference, TCC 2021, Raleigh, NC …, 2021 | 7 | 2021 |
| Consistency for functional encryption C Badertscher, A Kiayias, M Kohlweiss, H Waldner 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 6 | 2021 |
Ueli MaurerProfessor of Computer Science, ETH Zurichยืนยันอีเมลแล้วที่ inf.ethz.ch