Dennis Jackson

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Formal Analysis

Security Protocols

Privacy Preserving Classification

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
Automated Security Analysis of Exposure Notification Systems. USENIX Security Symposium (2023)
Carmela Troncoso, Dan Bogdanov, Edouard Bugnion, Sylvain Chatel, Cas Cremers, Seda F. Gürses, Jean-Pierre Hubaux, Dennis Jackson, James R. Larus, Wouter Lueks, Rui Oliveira, Mathias Payer, Bart Preneel, Apostolos Pyrgelis, Marcel Salathé, Theresa Stadler, Michael Veale
Deploying decentralized, privacy-preserving proximity tracing. Commun. ACM 65 (9) (2022)
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
Automated Security Analysis of Exposure Notification Systems. CoRR (2022)
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
The Provable Security of Ed25519: Theory and Practice. IEEE Symposium on Security and Privacy (2021)
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
The Provable Security of Ed25519: Theory and Practice. IACR Cryptol. ePrint Arch. 2020 (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. CoRR (2020)
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
Short Paper: Modular Black-box Runtime Verification of Security Protocols. PLAS@CCS (2020)
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. USENIX Security Symposium (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 43 (2) (2020)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. IACR Cryptol. ePrint Arch. 2019 (2019)
Cas Cremers, Dennis Jackson
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. IACR Cryptol. ePrint Arch. 2019 (2019)
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. CCS (2019)
Cas Cremers, Dennis Jackson
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. CSF (2019)