Engineering secure software and systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018 : proceedings - Payer, Mathias 1981-; Rashid, Awais; Such, Jose M. (Lecture Notes in Computer Science, 2018)