Noise*: A Library of Verified High-Performance Secure Channel Protocol Implementations.
Son HoJonathan ProtzenkoAbhishek BichhawatKarthikeyan BhargavanPublished in: IEEE Symposium on Security and Privacy (2022)
Keyphrases
- covert channel
- security requirements
- cryptographic protocols
- multiple access
- scalar product
- lightweight
- key distribution
- authentication protocol
- security protocols
- privacy preserving
- group communication
- vertically partitioned data
- security analysis
- noise level
- key exchange protocol
- multi party
- signal to noise ratio
- provably secure
- mutual authentication
- secure multiparty computation
- cryptographic algorithms
- blind signature
- rfid systems
- security properties
- key management