Computer Security - ESORICS 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.