Improving the Security of Cryptographic Protocol Standards

David Basin, Cas Cremers, Kunihiko Miyazaki, Saša Radomirović, Dai Watanabe

Research output: Contribution to journalArticlepeer-review

17 Citations (Scopus)


Despite being carefully designed, cryptographic protocol standards often turn out to be flawed. Integrating unambiguous security properties, clear threat models, and formal methods into the standardization process can improve protocol security.

Original languageEnglish
Pages (from-to)24-31
Number of pages8
JournalIEEE Security and Privacy
Issue number3
Early online date6 Jan 2014
Publication statusPublished - 2015


  • Formal methods
  • Network protocols
  • Protocol verification
  • Security
  • Standards

Fingerprint Dive into the research topics of 'Improving the Security of Cryptographic Protocol Standards'. Together they form a unique fingerprint.

Cite this