Open AccessA Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols
Author(s) -
Guillaume Girol,
Lucca Hirschi,
Ralf Sasse,
Dowdy Jackson,
Cas Cremers,
David Basin
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , computer security , noise (video) , diffie–hellman key exchange , protocol (science) , security analysis , cryptographic protocol , key exchange , construct (python library) , computer security model , key (lock) , theoretical computer science , threat model , cryptography , public key cryptography , computer network , encryption , artificial intelligence , image (mathematics) , medicine , alternative medicine , pathology