A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.
Guillaume GirolLucca HirschiRalf SasseDennis JacksonCas CremersDavid A. BasinPublished in: USENIX Security Symposium (2020)
Keyphrases
- formal analysis
- spectral analysis
- diffie hellman
- key exchange
- key agreement protocol
- security properties
- formal methods
- key distribution
- group communication
- public key
- standard model
- secure communication
- encryption scheme
- agent model
- secret key
- filter bank
- signature scheme
- elliptic curve
- autoregressive
- key management
- cryptographic protocols
- artificial intelligence
- security analysis
- feature space
- knowledge base
- similarity search
- signal processing
- low cost
- wireless sensor networks
- multiscale
- similarity measure