C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.
Greg Morrisett
Elaine Shi
Kristina Sojakova
Xiong Fan
Joshua Gancher
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
lightweight
real time
cryptographic protocols
information systems
high dimensional
distributed systems
formal verification