© 2018

Security Standardisation Research

4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings

  • Cas Cremers
  • Anja Lehmann
Conference proceedings SSR 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11322)

Also part of the Security and Cryptology book sub series (LNSC, volume 11322)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub
    Pages 1-20
  3. Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
    Pages 21-36
  4. Harry Halpin, Ksenia Ermoshina, Francesca Musiani
    Pages 56-75
  5. Mohsin Khan, Philip Ginzboorg, Kimmo Järvinen, Valtteri Niemi
    Pages 95-119
  6. Haibat Khan, Benjamin Dowling, Keith M. Martin
    Pages 120-142
  7. Back Matter
    Pages 185-185

About these proceedings


This book constitutes the refereed proceedings of the 4th International Conference on Security Standardisation Research, SSR 2018, held in Darmstadt, Germany, in November 2018.
The papers cover a range of topics in the field of security standardisation research, including cryptographic evaluation, standards development, analysis with formal methods, potential future areas of standardisation, and improving existing standards.


cryptography information security standardisation research formal verification security standards provable security formal methods security protocols privacy security management provable security data security software engineering authentication specifications public key cryptography

Editors and affiliations

  1. 1.CISPA-Helmholtz-Zentrum (i.G.)SaarbrückenGermany
  2. 2.IBM Research ZurichRüschlikonSwitzerland

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment