Formal verification of privacy properties in electrical vehicle charging.

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01089925
Contributor : Daniel Le Métayer <>
Submitted on : Tuesday, December 2, 2014 - 3:35:07 PM
Last modification on : Monday, March 4, 2019 - 1:52:58 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

394