- Jorge Cuéllar, Nora Koch, editors, Proceedings of the Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS 2012), Eindhoven, The Netherlands, February 15, 2012. Volume 834 of CEUR Workshop Proceedings, CEUR-WS.org, 2012.
- Gilles Barthe, Benjamin Livshits, Riccardo Scandariato, editors, Engineering Secure Software and Systems - 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Volume 7159 of Lecture Notes in Computer Science, Springer, 2012.