Adversary Safety by Construction in a Language of Cryptographic Protocols. - Timothy M. Braje; Alice R. Lee; Andrew Wagner; Benjamin Kaiser; Daniel Park; Martine Kalke; Robert K. Cunningham; Adam Chlipala (CSF, 2022)