Login / Signup
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