USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Guillaume Girol [Clear All Filters]
.
2020. A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. 29th USENIX Security Symposium (USENIX Security 20). :1857--1874.