Adversary Safety by Construction in a Language of Cryptographic Protocols

Timothy Braje, Alice Lee, Andrew Wagner, Ben Kaiser, Daniel Park, Martine Kalke, Robert Cunningham, Adam Chlipala

August 2022