Formal Verification of Privacy Properties in Electric Vehicle Charging. - Marouane Fazouane; Henning Kopp; Rens W. van der Heijden; Daniel Le Métayer; Frank Kargl (ESSoS, 2015)