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.