Skip to main content
SpringerLink
Log in
Book cover

Security Standardisation Research

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Cas Cremers

    1. CISPA-Helmholtz-Zentrum (i.G.), Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anja Lehmann

    1. IBM Research Zurich, Rüschlikon, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: SSR 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Pages I-IX
    Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Security Standardisation Research

Keywords

About this book

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.

Editors and Affiliations

  • CISPA-Helmholtz-Zentrum (i.G.), Saarbrücken, Germany

    Cas Cremers

  • IBM Research Zurich, Rüschlikon, Switzerland

    Anja Lehmann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation