Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings - Barthe, Gilles; Livshits, Benjamin; Scandariato, Riccardo (Springer Berlin Heidelberg, 2012)