Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Security and Cryptology

Security Standardisation Research

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

Editors: Cremers, Cas, Lehmann, Anja (Eds.)

Free Preview

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-030-04762-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-04761-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • hacspec: Towards Verifiable Crypto Standards

    Pages 1-20

    Bhargavan, Karthikeyan (et al.)

  • Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)

    Pages 21-36

    Bruni, Alessandro (et al.)

  • Experimental Evaluation of Attacks on TESLA-Secured Time Synchronization Protocols

    Pages 37-55

    Teichel, Kristof (et al.)

  • Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols

    Pages 56-75

    Halpin, Harry (et al.)

  • Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning

    Pages 76-94

    Balduccini, Marcello (et al.)

Buy this book

eBook $44.99
price for USA in USD (gross)
  • ISBN 978-3-030-04762-7
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
  • ISBN 978-3-030-04761-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Security Standardisation Research
Book Subtitle
4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings
Editors
  • Cas Cremers
  • Anja Lehmann
Series Title
Security and Cryptology
Series Volume
11322
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-04762-7
DOI
10.1007/978-3-030-04762-7
Softcover ISBN
978-3-030-04761-0
Edition Number
1
Number of Pages
IX, 185
Number of Illustrations
28 b/w illustrations, 15 illustrations in colour
Topics