Prime, Order Please! Revisiting Small Subgroup and Invalid Curve Attacks on Protocols using Diffie-Hellman. - Cas Cremers; Dennis Jackson (IACR Cryptol. ePrint Arch., 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)

Short Paper: Modular Black-box Runtime Verification of Security Protocols. - Kevin Morio; Dennis Jackson; Marco Vassena; Robert Künnemann (PLAS@CCS, 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; et al. (CoRR, 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; et al. (IEEE Data Eng. Bull., 2020)

The Provable Security of Ed25519: Theory and Practice. - Jacqueline Brendel; Cas Cremers; Dennis Jackson; Mang Zhao (IACR Cryptol. ePrint Arch., 2020)

Improving automated protocol verification: real world cryptography. - Dennis Jackson (2020)

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 001; Mathias Payer; et al. (Commun. ACM, 2022)

Automated Security Analysis of Exposure Notification Systems. - Kevin Morio; Ilkan Esiyok; Dennis Jackson; Robert Künnemann (USENIX Security Symposium, 2023)

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)

One For All: Formally Verifying Protocols which use Aggregate Signatures. - Xenia Hofmeier; Andrea Raguso; Ralf Sasse; Dennis Jackson; David A. Basin (CSF, 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, 2025)