Dennis Jackson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2019–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SP | The Provable Security of Ed25519: Theory and Practice. | Jacqueline Brendel, Cas Cremers, Dennis Jackson, Mang Zhao |
| 2020 | CCS | Short Paper: Modular Black-box Runtime Verification of Security Protocols. | Kevin Morio, Dennis Jackson, Marco Vassena, Robert Knnemann |
| 2019 | CCS | Seems Legit: Automated Analysis of Subtle Attacks on Protocols that Use Signatures. | Dennis Jackson, Cas Cremers, Katriel Cohn-Gordon, Ralf Sasse |