Date of Event - 25 Sep 2015

ESSoS Call for Papers

Call for papers ESSoS  International Symposium on Engineering Secure Software and Systems -  (ESSoS)

April 6 - 8, 2016,  Royal Holloway, University of London, London, UK

In cooperation with: (pending) ACM SIGSAC and SIGSOFT and  IEEE CS (TCSP)

== Approaching deadlines ==

Abstract submission: September 25, 2015

Paper submission:    October 2, 2015

== Context and motivation  ==

Trustworthy, secure software is a core ingredient of the modern world.

So is the Internet. Hostile, networked environments, like the Inter- net, can allow vulnerabilities in software to be exploited from any- where. High-quality security building blocks (e.g., cryptographic com-

ponents) are necessary but insufficient to address these concerns. In- deed, the construction of secure software is challenging because of the complexity of modern applications, the growing sophistication of security requirements, the multitude of available software technolo- gies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably im- prove the software's security properties.

== Goal and setup ==

The goal of this symposium, which will be the eighth in the series, is to bring together researchers and practitioners to advance the states of the art and practice in secure software engineering. Being one of the few conference-level events dedicated to this topic, it explicitly aims to bridge the software engineering and security engineering com- munities, and promote cross-fertilization. The symposium will feature two days of technical program including two keynote presentations. In addition to academic papers, the symposium encourages submission of high-quality, informative industrial experience papers about successes and failures in security software engineering and the lessons learned.

Furthermore, the symposium also accepts short idea papers that crisply describe a promising direction, approach, or insight.

== Topics ==

The Symposium seeks submissions on subjects related to its goals. This  includes a diversity of topics including (but not limited to):

 - Cloud security, virtualization for security

 - Mobile devices security

 - Automated techniques for vulnerability discovery and analysis

 - Model checking for security

 - Binary code analysis, reverse-engineering

 - Programming paradigms, models, and domain-specific languages for


 - Operating system security

 - Verification techniques for security properties

 - Malware: detection, analysis, mitigation

 - Security in critical infrastructures

 - Security by design

 - Static and dynamic code analysis for security

 - Web applications security

 - Program rewriting techniques for security

 - Security measurements

 - Empirical secure software engineering

 - Security-oriented software reconfiguration and evolution

 - Computer forensics

 - Processes for the development of secure software and systems

 - Security testing

 - Embedded software security

== Important Dates ==

Abstract submission: September 25, 2015

Paper submission:    October 2, 2015

Author notification: December 7, 2015

Camera-ready:        January 8, 2016