Dennis Jackson

17 papers A* 4A 2Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version).
CoRR
Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin
2025 A conf
One For All: Formally Verifying Protocols which use Aggregate Signatures.
CSF
Xenia Hofmeier, Andrea Raguso, Ralf Sasse, Dennis Jackson, David A. Basin
2024 J jnl
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.
IACR Cryptol. ePrint Arch.
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2023 A* conf
Automated Security Analysis of Exposure Notification Systems.
USENIX Security Symposium
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
2022 J jnl
Automated Security Analysis of Exposure Notification Systems.
CoRR
Kevin Morio, Ilkan Esiyok, Dennis Jackson, Robert Künnemann
2022 J jnl
Deploying decentralized, privacy-preserving proximity tracing.
Commun. ACM
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
2021 A* conf
The Provable Security of Ed25519: Theory and Practice.
SP
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
2020 A* conf
A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.
USENIX Security Symposium
Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers, David A. Basin
2020 J jnl
Decentralized Privacy-Preserving Proximity Tracing.
CoRR
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
2020 J jnl
Decentralized Privacy-Preserving Proximity Tracing.
IEEE Data Eng. Bull.
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
2020 — —
Improving automated protocol verification: real world cryptography.
Dennis Jackson
2020 — conf
Short Paper: Modular Black-box Runtime Verification of Security Protocols.
PLAS@CCS
Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann
2020 J jnl
The Provable Security of Ed25519: Theory and Practice.
IACR Cryptol. ePrint Arch.
Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao
2019 A conf
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman.
CSF
Cas Cremers, Dennis Jackson
2019 J jnl
Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman.
IACR Cryptol. ePrint Arch.
Cas Cremers, Dennis Jackson
2019 A* conf
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.
CCS
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse
2019 J jnl
Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures.
IACR Cryptol. ePrint Arch.
Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse