Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9639)
Part of the book sub series: Security and Cryptology (LNSC)
Conference series link(s): ESSoS: International Symposium on Engineering Secure Software and Systems
Conference proceedings info: ESSoS 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 papers)
-
Front Matter
-
Back Matter
About this book
The goal of this symposium, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. The presentations and associated publications at ESSoS 2016 contribute to this goal in several directions: First, by improving methodologies for secure software engineering (such as flow analysis and policy
compliance). Second, with results for the detection and analysis of software vulnerabilities and the attacks they enable. Finally, for securing software for specific application domains (such as mobile devices and access control).
Keywords
- Cloud security
- Embedded software security
- Malware detection
- Security measurements
- Web applications security
- Code analysis for security
- Computer forensics
- Domain-specific languages
- Mobile devices security
- Model checking for security
- Operating system security
- Program rewriting
- Programming models
- Programming paradigms
- Reverse-engineering
- Secure software engineering
- Security testing
- Security-oriented software reconfiguration
- Verification techniques
- Vulnerability analysis
Editors and Affiliations
-
IMDEA Software Institute, Madrid, Spain
Juan Caballero
-
Paderborn University & Fraunhofer IEM, Paderborn, Germany
Eric Bodden
-
VU University, Amsterdam, The Netherlands
Elias Athanasopoulos
Bibliographic Information
Book Title: Engineering Secure Software and Systems
Book Subtitle: 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Editors: Juan Caballero, Eric Bodden, Elias Athanasopoulos
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-30806-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-30805-0Published: 29 March 2016
eBook ISBN: 978-3-319-30806-7Published: 28 March 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 269
Number of Illustrations: 64 b/w illustrations
Topics: Computer Communication Networks, Cryptology, Software Engineering/Programming and Operating Systems, Algorithm Analysis and Problem Complexity, Math Applications in Computer Science, Models and Principles