Old Web
English
Sign In
Acemap
>
Paper
>
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.
IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols.
2021
Greg Morrisett
Elaine Shi
Kristina Sojakova
Xiong Fan
Joshua Gancher
Keywords:
Distributed computing
simple
Computer science
Cryptographic protocol
Correction
Source
Cite
Save
Machine Reading By IdeaReader
18
References
2
Citations
NaN
KQI
[]