@Proceedings{essos12,
  title =        "{Engineering Secure Software and Systems: 4th
                 International Symposium, ESSoS 2012, Eindhoven, The
                 Netherlands, February 16-17, 2012. Proceedings}",
  editor =       "Gilles Barthe and Benjamin Livshits and Riccardo
                 Scandariato",
  year =         "2012",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "7159",
}