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

TitleA Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
Publication TypeConference Paper
Year of Publication2020
AuthorsGirol G, Hirschi L, Sasse R, Jackson D, Cremers C, Basin D
Conference Name29th USENIX Security Symposium (USENIX Security 20)
Date Published08/2020
PublisherUSENIX Association
ISBN Number978-1-939133-17-5
URLhttps://www.usenix.org/conference/usenixsecurity20/presentation/girol