Computer Security – ESORICS 2019
24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
Editors: Sako, Kazue, Schneider, Steve, Ryan, Peter (Eds.)
Free PreviewBuy this book
- About this book
-
The two volume set, LNCS 11735 and 11736, constitutes the proceedings of the 24th European Symposium on Research in Computer Security, ESORIC 2019, held in Luxembourg, in September 2019. The total of 67 full papers included in these proceedings was carefully reviewed and selected from 344 submissions. The papers were organized in topical sections named as follows:Part I: machine learning; information leakage; signatures and re-encryption; side channels; formal modelling and verification; attacks; secure protocols; useful tools; blockchain and smart contracts.Part II: software security; cryptographic protocols; security models; searchable encryption; privacy; key exchange protocols; and web security.
- Table of contents (29 chapters)
-
-
Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs
Pages 3-25
-
Uncovering Information Flow Policy Violations in C Programs (Extended Abstract)
Pages 26-46
-
BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning
Pages 47-67
-
Static Detection of Uninitialized Stack Variables in Binary Code
Pages 68-87
-
Towards Automated Application-Specific Software Stacks
Pages 88-109
-
Table of contents (29 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Computer Security – ESORICS 2019
- Book Subtitle
- 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II
- Editors
-
- Kazue Sako
- Steve Schneider
- Peter Ryan
- Series Title
- Security and Cryptology
- Series Volume
- 11736
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-29962-0
- DOI
- 10.1007/978-3-030-29962-0
- Softcover ISBN
- 978-3-030-29961-3
- Edition Number
- 1
- Number of Pages
- XXVI, 627
- Number of Illustrations
- 732 b/w illustrations, 71 illustrations in colour
- Topics
