| Decentralized privacy-preserving proximity tracing C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... arXiv preprint arXiv:2005.12273, 2020 | 364 | 2020 |
| Early evidence of effectiveness of digital contact tracing for SARS-CoV-2 in Switzerland M Salathé, CL Althaus, N Anderegg, D Antonioli, T Ballouz, E Bugnion, ... Swiss medical weekly 150, w20457, 2020 | 119 | 2020 |
| The Provable Security of Ed25519: Theory and Practice J Brendel, C Cremers, D Jackson, M Zhao IEEE Security & Privacy, 2021 | 74 | 2021 |
| Seems Legit: Automated Analysis of Subtle Attacks on Protocols that use Signatures D Jackson, C Cremers, K Cohn-Gordon, R Sasse Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 59 | 2019 |
| Prime, order please! Revisiting small subgroup and invalid curve attacks on protocols using Diffie-Hellman C Cremers, D Jackson 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 78-7815, 2019 | 52 | 2019 |
| A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of {Diffie-Hellman} Protocols G Girol, L Hirschi, R Sasse, D Jackson, C Cremers, D Basin 29th USENIX Security Symposium (USENIX Security 20), 1857-1874, 2020 | 30 | 2020 |
| Deploying decentralized, privacy-preserving proximity tracing C Troncoso, D Bogdanov, E Bugnion, S Chatel, C Cremers, S Gürses, ... Communications of the ACM 65 (9), 48-57, 2022 | 21 | 2022 |
| Automated security analysis of exposure notification systems K Morio, I Esiyok, D Jackson, R Künnemann 32st USENIX Security Symposium (USENIX Security 23), 1-18, 2023 | 5 | 2023 |
| Short Paper: Modular Black-box Runtime Verification of Security Protocols K Morio, D Jackson, M Vassena, R Künnemann Proceedings of the 15th Workshop on Programming Languages and Analysis for …, 2020 | 3* | 2020 |
| Decentralized Privacy-Preserving Proximity Tracing: Overview of Data Protection and Security C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ... DP-3T Project, 2020 | 3 | 2020 |
| Improving Automated Protocol Verification: Real World Cryptography D Jackson | 3 | 2020 |
Cas CremersCISPA Helmholtz Center for Information SecurityVerified email at cispa.de
