Improving the Security of Cryptographic Protocol Standards

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

Research output: Contribution to journalArticle

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.

  • Profiles

    No photo of Sasa Radomirovic

    Radomirovic, Sasa

    Person: Associate Staff

    Cite this