Comparse: Provably Secure Formats for Cryptographic Protocols.

Théophile Wallez Jonathan Protzenko Karthikeyan Bhargavan

Published in: CCS (2023)

Keyphrases

provably secure
cryptographic protocols
standard model
key management
security protocols
signature scheme
security properties
diffie hellman
encryption scheme
public key
locally decodable codes
security model
digital signature
low cost
information systems
resource constrained
ad hoc networks