


default search action
SSR 2018: Darmstadt, Germany
- Cas Cremers, Anja Lehmann:

Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings. Lecture Notes in Computer Science 11322, Springer 2018, ISBN 978-3-030-04761-0 - Karthikeyan Bhargavan, Franziskus Kiefer

, Pierre-Yves Strub:
hacspec: Towards Verifiable Crypto Standards. 1-20 - Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann:

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). 21-36 - Kristof Teichel, Gregor Hildermeier:

Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization Protocols. 37-55 - Harry Halpin, Ksenia Ermoshina, Francesca Musiani:

Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols. 56-75 - Marcello Balduccini, Claire Vishik:

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. 76-94 - Mohsin Khan, Philip Ginzboorg

, Kimmo Järvinen, Valtteri Niemi:
Defeating the Downgrade Attack on Identity Privacy in 5G. 95-119 - Haibat Khan

, Benjamin Dowling
, Keith M. Martin:
Identity Confidentiality in 5G Mobile Telephony Systems. 120-142 - Darren Hurley-Smith

, Julio C. Hernandez-Castro:
Great Expectations: A Critique of Current Approaches to Random Number Generation Testing & Certification. 143-163 - John Kelsey:

The New Randomness Beacon Format Standard: An Exercise in Limiting the Power of a Trusted Third Party. 164-184

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














