CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Security and Cryptology

Computer Security – ESORICS 2020

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II

Editors: Chen, L., Li, N., Liang, K., Schneider, S. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-030-59013-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.99
price for USA in USD
About this book

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.

The total of 72 full papers included in these proceedings was carefully reviewed and selected from 366 submissions. The papers were organized in topical sections named: database and Web security; system security; network security; software security; machine learning security; privacy; formal modelling; applied cryptography; analyzing attacks; post-quantum cryptogrphy; security analysis; and blockchain. 

Table of contents (36 chapters)

Table of contents (36 chapters)
  • Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols

    Pages 3-22

    Cortier, Véronique (et al.)

  • When Is a Test Not a Proof?

    Pages 23-41

    McMurtry, Eleanor (et al.)

  • Hardware Fingerprinting for the ARINC 429 Avionic Bus

    Pages 42-62

    Gilboa-Markevich, Nimrod (et al.)

  • Semantic Definition of Anonymity in Identity-Based Encryption and Its Relation to Indistinguishability-Based Definition

    Pages 65-85

    Hanaoka, Goichiro (et al.)

  • SHECS-PIR: Somewhat Homomorphic Encryption-Based Compact and Scalable Private Information Retrieval

    Pages 86-106

    Park, Jeongeun (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-030-59013-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Security – ESORICS 2020
Book Subtitle
25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II
Editors
  • Liqun Chen
  • Ninghui Li
  • Kaitai Liang
  • Steve Schneider
Series Title
Security and Cryptology
Series Volume
12309
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-59013-0
DOI
10.1007/978-3-030-59013-0
Softcover ISBN
978-3-030-59012-3
Edition Number
1
Number of Pages
XXVIII, 760
Number of Illustrations
310 b/w illustrations, 81 illustrations in colour
Topics