Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala. Adversary Safety by Construction in a Language of Cryptographic Protocols. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 412-427, IEEE, 2022. [doi]
Abstract is missing.