Engineering Secure Software and Systems : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings - Bodden, Eric.; Payer, Mathias.; Athanasopoulos, Elias. (Security and Cryptology, 2017)