Text this: Engineering secure software and systems : 4th international symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012 : proceedings / Gilles Barthe, Benjamin Livshits, Riccardo Scandariato (eds.).