Login / Signup
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
Published in:
CSF (2022)
Keyphrases
</>
cryptographic protocols
natural language
programming language
standard model
security properties
security protocols
lightweight
power consumption