Compiling and securing cryptographic protocols.

Yannick Chevalier Michaël Rusinowitch

Published in: Inf. Process. Lett. (2010)

Keyphrases

cryptographic protocols
security properties
standard model
authentication protocol
information security
locally decodable codes
security protocols
formal verification
information systems
real time
encryption decryption