Computer Security – ESORICS 2019

1. Front Matter

   Pages i-xxvi

   PDF

2. Software Security

   1. Front Matter

      Pages 1-1

      PDF

   2. Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs

      • Kangjie Lu, Aditya Pakki, Qiushi Wu

      Pages 3-25

   3. Uncovering Information Flow Policy Violations in C Programs (Extended Abstract)

      • Darion Cassel, Yan Huang, Limin Jia

      Pages 26-46

   4. BinEye: Towards Efficient Binary Authorship Characterization Using Deep Learning

      • Saed Alrabaee, ElMouatez Billah Karbab, Lingyu Wang, Mourad Debbabi

      Pages 47-67

   5. Static Detection of Uninitialized Stack Variables in Binary Code

      • Behrad Garmany, Martin Stoffel, Robert Gawlik, Thorsten Holz

      Pages 68-87

   6. Towards Automated Application-Specific Software Stacks

      • Nicolai Davidsson, Andre Pawlowski, Thorsten Holz

      Pages 88-109

3. Cryptographic Protocols

   1. Front Matter

      Pages 111-111

      PDF

   2. Identity-Based Encryption with Security Against the KGC: A Formal Model and Its Instantiation from Lattices

      • Keita Emura, Shuichi Katsumata, Yohei Watanabe

      Pages 113-133

   3. Forward-Secure Puncturable Identity-Based Encryption for Securing Cloud Emails

      • Jianghong Wei, Xiaofeng Chen, Jianfeng Wang, Xuexian Hu, Jianfeng Ma

      Pages 134-150

   4. Feistel Structures for MPC, and More

      • Martin R. Albrecht, Lorenzo Grassi, Léo Perrin, Sebastian Ramacher, Christian Rechberger, Dragos Rotaru et al.

      Pages 151-171

   5. Arithmetic Garbling from Bilinear Maps

      • Nils Fleischhacker, Giulio Malavolta, Dominique Schröder

      Pages 172-192

4. Security Models

   1. Front Matter

      Pages 193-193

      PDF

   2. SEPD: An Access Control Model for Resource Sharing in an IoT Environment

      • Henrique G. G. Pereira, Philip W. L. Fong

      Pages 195-216

   3. Nighthawk: Transparent System Introspection from Ring -3

      • Lei Zhou, Jidong Xiao, Kevin Leach, Westley Weimer, Fengwei Zhang, Guojun Wang

      Pages 217-238

   4. Proactivizer: Transforming Existing Verification Tools into Efficient Solutions for Runtime Security Enforcement

      • Suryadipta Majumdar, Azadeh Tabiban, Meisam Mohammady, Alaa Oqaily, Yosr Jarraya, Makan Pourzandi et al.

      Pages 239-262

   5. Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics

      • Juan E. Rubio, Mark Manulis, Cristina Alcaraz, Javier Lopez

      Pages 263-280

5. Searchable Encryption

   1. Front Matter

      Pages 281-281

      PDF

   2. Dynamic Searchable Symmetric Encryption with Forward and Stronger Backward Privacy

      • Cong Zuo, Shi-Feng Sun, Joseph K. Liu, Jun Shao, Josef Pieprzyk

      Pages 283-303

   3. Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption

      • Zhongjun Zhang, Jianfeng Wang, Yunling Wang, Yaping Su, Xiaofeng Chen

      Pages 304-321

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.

• access control
• authentication
• computer crime
• computer hardware
• computer network
• computer science
• computer security
• computer systems
• cryptography
• data privacy
• data security
• distributed computer systems
• engineering
• internet
• network protocols
• network security
• public key cryptography
• security systems
• software design
• software engineering

• NEC Corporation, Kawasaki, Japan

  Kazue Sako

• University of Surrey, Guildford, UK

  Steve Schneider

• University of Luxembourg, Esch-sur-Alzette, Luxembourg

  Peter Y. A. Ryan

Policies and ethics