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
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