Dennis Jackson
Dennis Jackson
Verified email at - Homepage
Cited by
Cited by
Decentralized privacy-preserving proximity tracing
C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ...
arXiv preprint arXiv:2005.12273, 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
The Provable Security of Ed25519: Theory and Practice
J Brendel, C Cremers, D Jackson, M Zhao
IEEE Security & Privacy, 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
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
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
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
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
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
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
Improving Automated Protocol Verification: Real World Cryptography
D Jackson
The system can't perform the operation now. Try again later.
Articles 1–11