Advertisement

© 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
    PDF
  2. hacspec: Towards Verifiable Crypto Standards
    Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub
    Pages 1-20
  3. Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)
    Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
    Pages 21-36
  4. Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization Protocols
    Kristof Teichel, Gregor Hildermeier
    Pages 37-55
  5. Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols
    Harry Halpin, Ksenia Ermoshina, Francesca Musiani
    Pages 56-75
  6. Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning
    Marcello Balduccini, Claire Vishik
    Pages 76-94
  7. Defeating the Downgrade Attack on Identity Privacy in 5G
    Mohsin Khan, Philip Ginzboorg, Kimmo Järvinen, Valtteri Niemi
    Pages 95-119
  8. Identity Confidentiality in 5G Mobile Telephony Systems
    Haibat Khan, Benjamin Dowling, Keith M. Martin
    Pages 120-142
  9. Great Expectations: A Critique of Current Approaches to Random Number Generation Testing & Certification
    Darren Hurley-Smith, Julio Hernandez-Castro
    Pages 143-163
  10. The New Randomness Beacon Format Standard: An Exercise in Limiting the Power of a Trusted Third Party
    John Kelsey
    Pages 164-184
  11. Back Matter
    Pages 185-185
    PDF

About these proceedings

Introduction

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.

Keywords

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