Trustworthy, secure software is a core ingredient of the modern world. Unfortunately, the Internet is too. Hostile, networked environments, like the Internet, can allow vulnerabilities in software to be exploited from anywhere. To address this, high-quality security building blocks (e.g., cryptographic components) are necessary, but insufficient. Indeed, 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 technologies and the progress of attack vectors. Clearly, a strong need exists for engineering techniques that scale well and that demonstrably improve the software's security properties.
26 Feb - 28 Feb 2014
Technische Universitat Munchen
INRIA Rennes Bretagne Atlantique
Campus universitaire de Beaulieu
Rennes Cedex France 35042
Please see the conference Web site for full details.
Abstract submission deadline: 06 Sep 2013
Final submission deadline: 08 Dec 2013
Notification of acceptance date: 18 Nov 2013