Improving the Security of Cryptographic Protocol Standards

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

Research output: Contribution to journalArticlepeer-review

18 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
Article number6701303
Pages (from-to)24-31
Number of pages8
JournalIEEE Security and Privacy
Issue number3
Publication statusPublished - May 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