Proceedings on Privacy Enhancing Technologies · 2022 · 11 citations · 37 references
ComputingComputer EngineeringComputer ScienceComputer SecurityFormal MethodsPrivacy EngineeringCharging SystemsData ProtectionPrivacy-preserving ProtocolsSecure Multi-party ComputationSecurity Protocol VerificationTrusted Platform ModulesActorsAttestationElectric Vehicle Charging SecurityFormal Security AnalysisPlatform AttestationPrivacy In Vehicular NetworksTamarin ProverTrusted Platform Module Security
The Electric Vehicle (EV) charging architecture consists of several actors which communicate with different protocols. A serious issue is the lack of adequate privacy-preserving measures that enables the generation of movement profiles or inferring consumer habits by all of the involved actors. In this paper, we propose an extension of a Trusted Platform Module (TPM)-based Direct Anonymous Attestation (DAA) scheme to enable privacy-preserving charging authorization and billing. Our implementation shows that our solution can be easily integrated into existing protocols of the Plug-and-Charge (PnC) EV charging architecture and introduces only minor overhead. The formal analysis using the Tamarin prover shows the security and privacy of our protocol extension.
37
On the security of public key protocols
Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations
Cyber-Physical Systems Security—A Survey
Abdulmalik Humayed, Jingqiang Lin, Fengjun Li et al. · IEEE Internet of Things Journal · 2017 · 1.1K citations
The security and privacy of smart vehicles
Jean‐Pierre Hubaux, Srdan Capkun, Jun Luo · IEEE Security & Privacy · 2004 · 791 citations · Full text
A hierarchy of authentication specifications
Gavin Lowe · 2002 · 618 citations