Engineering Secure Software and Systems

Description

This book constitutes the refereed proceedings of the 10th International Symposium on Engineering Secure Software and Systems, ESSoS 2018, held in Paris, France, in June 2018. The 10 papers, consisting of 7 regular and 3 idea papers, were carefully reviewed and selected from 26 submissions. They focus on the construction of secure software, which is becoming an increasingly challenging task due to the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technologies, and the progress of attack vectors. Front Matter ....Pages I-IX A Vision for Enhancing Security of Cryptography in Executables (Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach)....Pages 1-8 Enforcing Full-Stack Memory-Safety in Cyber-Physical Systems (Eyasu Getahun Chekole, Sudipta Chattopadhyay, Martín Ochoa, Guo Huaqun)....Pages 9-26 Model Checking the Information Flow Security of Real-Time Systems (Christopher Gerking, David Schubert, Eric Bodden)....Pages 27-43 Off-Limits: Abusing Legacy x86 Memory Segmentation to Spy on Enclaved Execution (Jago Gyselinck, Jo Van Bulck, Frank Piessens, Raoul Strackx)....Pages 44-60 One Leak Is Enough to Expose Them All (Mohammadreza Hazhirpasand, Mohammad Ghafari)....Pages 61-76 PrivacyMeter: Designing and Developing a Privacy-Preserving Browser Extension (Oleksii Starov, Nick Nikiforakis)....Pages 77-95 Security Analysis of Drone Communication Protocols (Christian Bunse, Sebastian Plotz)....Pages 96-107 Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models (Aleieldin Salem, Tabea Schmidt, Alexander Pretschner)....Pages 108-115 Idea: Benchmarking Android Data Leak Detection Tools (Claudio Corrodi, Timo Spring, Mohammad Ghafari, Oscar Nierstrasz)....Pages 116-123 Idea: Visual Analytics for Web Security (Victor Le Pochat, Tom Van Goethem, Wouter Joosen)....Pages 124-132 Back Matter ....Pages 133-133