A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols.
Guillaume GirolLucca HirschiRalf SasseDennis JacksonCas CremersDavid A. BasinPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- formal analysis
- spectral analysis
- diffie hellman
- key exchange
- key agreement protocol
- security properties
- key distribution
- formal methods
- group communication
- public key
- standard model
- secure communication
- elliptic curve
- secret key
- filter bank
- speech signal
- security analysis
- encryption scheme
- agent model
- security protocols
- autoregressive
- key management
- signature scheme
- authentication protocol
- similarity measure
- cryptographic protocols
- network security
- fault tolerance
- fault tolerant
- smart card
- hidden markov models
- pairwise