Improving the Security of Cryptographic Protocol Standards

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

Research output: Contribution to journalArticlepeer-review

19 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

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Electrical and Electronic Engineering
  • Law


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

Cite this