Comparse: Provably Secure Formats for Cryptographic Protocols.

Théophile Wallez Jonathan Protzenko Karthikeyan Bhargavan

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

provably secure
cryptographic protocols
standard model
key management
security protocols
signature scheme
security properties
diffie hellman
encryption scheme
database systems
secure communication
information systems
distributed systems
image quality
hash functions
resource constrained