Marouane Fazouane, Henning Kopp, Rens Wouter van der Heijden, Daniel Le Métayer, Frank Kargl. Formal Verification of Privacy Properties in Electric Vehicle Charging. In Frank Piessens, Juan Caballero, Nataliia Bielova, editors, Engineering Secure Software and Systems - 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings. Volume 8978 of Lecture Notes in Computer Science, pages 17-33, Springer, 2015. [doi]
Abstract is missing.