Dennis Jackson

According to our database, Dennis Jackson authored at least 13 papers between 2019 and 2025.

Collaborative distances:

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

2025

One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version).

Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin

CoRR, May, 2025

One For All: Formally Verifying Protocols which use Aggregate Signatures.

Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin

Dataset, May, 2025

One For All: Formally Verifying Protocols which use Aggregate Signatures.

Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

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

2021

The Provable Security of Ed25519: Theory and Practice.

Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2020

Improving automated protocol verification: real world cryptography.

Dennis Jackson

PhD thesis, 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

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

Proceedings of the 29th USENIX Security Symposium, 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

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

Cas Cremers, Dennis Jackson

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

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

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

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019