Skip to main content
SpringerLink
Log in
Book cover

Computer Security – ESORICS 2019

24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Kazue Sako

    1. NEC Corporation, Kawasaki, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Steve Schneider

    1. University of Surrey, Guildford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Y. A. Ryan

    1. University of Luxembourg, Esch-sur-Alzette, Luxembourg

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11736)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ESORICS 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages i-xxvi
    Download chapter PDF

  2. Software Security

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Other volumes

  1. Computer Security – ESORICS 2019

  2. Computer Security – ESORICS 2019

Keywords

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.

Editors and Affiliations

  • NEC Corporation, Kawasaki, Japan

    Kazue Sako

  • University of Surrey, Guildford, UK

    Steve Schneider

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

    Peter Y. A. Ryan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation