Formal Verification of Privacy Properties in Electric Vehicle Charging presented at ESSoS 2015

by Frank Kargl, Rens Heijden, Daniel Le Métayer, Marouane Fazouane, Henning Kopp,

Summary : N/A