Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations (Long Version).
Son HoJonathan ProtzenkoAbhishek BichhawatKarthikeyan BhargavanPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- covert channel
- security requirements
- cryptographic protocols
- authentication protocol
- multiple access
- security protocols
- lightweight
- secure routing
- provably secure
- noise level
- signal to noise ratio
- key exchange protocol
- scalar product
- security analysis
- security issues
- received signal
- cryptographic algorithms
- secure multi party
- key agreement protocol
- diffie hellman
- mac protocol
- security properties
- key distribution
- key management
- cellular networks