EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats.
Tahina RamananandroAntoine Delignat-LavaudCédric FournetNikhil SwamyTej ChajedNadim KobeissiJonathan ProtzenkoPublished in: USENIX Security Symposium (2019)
Keyphrases
- key exchange protocol
- key exchange
- authentication scheme
- key agreement protocol
- key distribution
- diffie hellman
- password based authenticated key exchange
- security analysis
- metadata
- multimedia
- user authentication
- natural language processing
- smart card
- standard model
- key management
- public key
- dependency parser
- authentication protocol
- dependency parsing
- secret key
- xml format
- security requirements
- information security
- syntactic parsing
- elliptic curve
- noisy channel
- lightweight
- message delivery
- message transmission