@Proceedings{essos13,
  title =        "{Engineering Secure Software and Systems: 5th
                 International Symposium, ESSoS 2013, Paris, France,
                 February 27 -- March 1, 2013. Proceedings}",
  editor =       "Jan J{\"u}rjens and Benjamin Livshits and Riccardo
                 Scandariato",
  year =         "2013",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "7781",
}