Login / Signup

Adversary Safety by Construction in a Language of Cryptographic Protocols.

Timothy M. BrajeAlice R. LeeAndrew WagnerBenjamin KaiserDaniel ParkMartine KalkeRobert K. CunninghamAdam Chlipala
Published in: CSF (2022)
Keyphrases
  • cryptographic protocols
  • natural language
  • programming language
  • standard model
  • security properties
  • security protocols
  • lightweight
  • power consumption