Login / Signup
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.
Karthikeyan Bhargavan
Ricardo Corin
Pierre-Malo Deniélou
Cédric Fournet
James J. Leifer
Published in:
CSF (2009)
Keyphrases
</>
cryptographic protocols
multi party
privacy preserving
standard model
secret sharing
security protocols
formal verification
description language
authentication protocol
turn taking
software engineering
human communication
real time
computer systems
mental states