Dennis Jackson
Dennis Jackson
ETH Zurich
Geverifieerd e-mailadres voor inf.ethz.ch - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Decentralized privacy-preserving proximity tracing
C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ...
arXiv preprint arXiv:2005.12273, 2020
1122020
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, ...
medRxiv, 2020
202020
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
152019
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
122019
Decentralized privacy-preserving proximity tracing, 2020
C Troncoso, M Payer, JP Hubaux, M Salathé, J Larus, E Bugnion, ...
Accessed 6th May, 2020
72020
The Provable Security of Ed25519: Theory and Practice
J Brendel, C Cremers, D Jackson, M Zhao
IEEE Security & Privacy, 2021
42021
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
32020
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
2020
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8