@misc{cryptoeprint:2021:147,
    author = {Greg Morrisett and Elaine Shi and Kristina Sojakova and Xiong Fan and Joshua Gancher},
    title = {IPDL: A Simple Framework for Formally Verifying Distributed Cryptographic Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2021/147},
    year = {2021},
    url = {https://eprint.iacr.org/2021/147},
}