@misc{cryptoeprint:2019:1422,
    author = {Xiong Fan and Joshua Gancher and Greg Morrisett and Elaine Shi and Kristina Sojakova},
    title = {IPDL: A Probabilistic Dataflow Logic for Cryptography},
    howpublished = {Cryptology ePrint Archive, Report 2019/1422},
    year = {2019},
    url = {https://eprint.iacr.org/2019/1422},
}