Security Standardisation Research: 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Lecture Notes in Computer Science Book 11322)

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