Dennis Jackson

According to our database, Dennis Jackson authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.

Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin

IACR Cryptol. ePrint Arch., 2024

2023

Automated Security Analysis of Exposure Notification Systems.

Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

Deploying decentralized, privacy-preserving proximity tracing.

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

Commun. ACM, 2022

2020

Improving automated protocol verification: real world cryptography.

Dennis Jackson

PhD thesis, 2020

The Provable Security of Ed25519: Theory and Practice.

Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao

IACR Cryptol. ePrint Arch., 2020

Decentralized Privacy-Preserving Proximity Tracing.

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

IEEE Data Eng. Bull., 2020

Decentralized Privacy-Preserving Proximity Tracing.

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

CoRR, 2020

Short Paper: Modular Black-box Runtime Verification of Security Protocols.

Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2019

Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.

Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse

IACR Cryptol. ePrint Arch., 2019

Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman.

Cas Cremers, Dennis Jackson

IACR Cryptol. ePrint Arch., 2019