Skip to Main content Skip to Navigation
Conference papers

Formal verification of privacy properties in electrical vehicle charging.

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01089925
Contributor : Daniel Le Métayer Connect in order to contact the contributor
Submitted on : Tuesday, December 2, 2014 - 3:35:07 PM
Last modification on : Wednesday, July 8, 2020 - 12:43:27 PM

Identifiers

  • HAL Id : hal-01089925, version 1

Collections

Citation

Marouane Fazouane, Henning Kopp, Rens van der Heijden, Daniel Le Métayer, Franck Kargl. Formal verification of privacy properties in electrical vehicle charging.. International Symposium on Engineering Secure Software and Systems (ESSOS15), Mar 2015, Milan, Italy. ⟨hal-01089925⟩

Share

Metrics

Record views

422