{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T16:21:20Z","timestamp":1776788480142,"version":"3.51.2"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T00:00:00Z","timestamp":1569542400000},"content-version":"vor","delay-in-days":26,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Energy Inform"],"published-print":{"date-parts":[[2019,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The number of electric vehicles (EVs) is steadily growing. This provides a promising opportunity for balancing the smart grid of the future, because vehicle-to-grid (V2G) systems can utilize the batteries of plugged-in EVs as much needed distributed energy storage: In times of high production and low demand the excess energy in the grid is stored in the EVs\u2019 batteries, while peaks in demand are mitigated by EVs feeding electricity back to the grid. But the data needed for managing individual V2G charging sessions as well as for billing and rewards is of a highly personal and therefore sensitive nature. This causes V2G systems to pose a significant threat to the privacy of their users. Existing cryptographic protocols for this scenario either do not offer adequate privacy protection or fail to provide key features necessary to obtain a practical system.<\/jats:p><jats:p>Based on the recent cryptographic toll collection framework P4TC, this work introduces a privacy-preserving but efficient V2G payment and reward system called P6V2G. Our system facilitates two-way transactions in a semi online and post-payment setting. It provides double-spending detection, an integrated reputation system, contingency traceability and blacklisting features, and is portable between EVs. The aforementioned properties are holistically captured within an established cryptographic security framework. In contrast to existing protocols, this formal model of a V2G payment and reward system allows us to assert all properties through a comprehensive formal proof.<\/jats:p>","DOI":"10.1186\/s42162-019-0075-1","type":"journal-article","created":{"date-parts":[[2019,9,27]],"date-time":"2019-09-27T14:02:59Z","timestamp":1569592979000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["P6V2G: a privacy-preserving V2G scheme for two-way payments and reputation"],"prefix":"10.1186","volume":"2","author":[{"given":"Rebecca","family":"Schwerdt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerie","family":"Fetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Gr\u00e4f","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Rupp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,9,27]]},"reference":[{"issue":"1","key":"75_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TVT.2013.2274288","volume":"63","author":"MH Au","year":"2014","unstructured":"Au, MH, Liu JK, Fang J, Jiang ZL, Susilo W, Zhou J (2014) A new payment system for enhancing location privacy of electric vehicles. IEEE Trans Veh Technol 63(1):3\u201318.","journal-title":"IEEE Trans Veh Technol"},{"key":"75_CR2","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-662-46447-2_5","volume-title":"Public-Key Cryptography \u2013 PKC 2015","author":"F Baldimtsi","year":"2015","unstructured":"Baldimtsi, F, Chase M, Fuchsbauer G, Kohlweiss M (2015) Anonymous transferable e-cash. In: Katz J (ed)Public-Key Cryptography \u2013 PKC 2015, 101\u2013124.. Springer, Berlin."},{"key":"75_CR3","first-page":"319","volume-title":"SAC 2005Annual International Workshop on Selected Areas in Cryptography. Lecture Notes in Computer Science, vol. 3897","author":"PSLM Barreto","year":"2006","unstructured":"Barreto, PSLM, Naehrig M (2006) Pairing-friendly elliptic curves of prime order. In: Preneel B Tavares S (eds)SAC 2005Annual International Workshop on Selected Areas in Cryptography. Lecture Notes in Computer Science, vol. 3897, 319\u2013331.. Springer, Berlin."},{"issue":"1-2","key":"75_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/3300000004","volume":"1","author":"B Blanchet","year":"2016","unstructured":"Blanchet, B (2016) Modeling and verifying security protocols with the applied pi calculus and proverif. Found Trends Priv Secur 1(1-2):1\u2013135.","journal-title":"Found Trends Priv Secur"},{"key":"75_CR5","unstructured":"Burch, I, Gilchrist J (2018) Survey of Global Activity to Phase Out Internal Combustion Engine Vehicles. Cent Clim Prot."},{"key":"75_CR6","doi-asserted-by":"crossref","unstructured":"Camenisch, J, Hohenberger S, Lysyanskaya A (2005) Compact e-cash In: Advances in Cryptology - EUROCRYPT 2005, 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings, 302\u2013321.","DOI":"10.1007\/11426639_18"},{"key":"75_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-540-68914-0_13","volume-title":"Applied Cryptography and Network Security","author":"S\u00e9bastien Canard","year":"2008","unstructured":"Canard, S, Gouget A (2008) Anonymity in transferable e-cash In: Applied Cryptography and Network Security, 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings, 207\u2013223."},{"key":"75_CR8","doi-asserted-by":"crossref","unstructured":"Canetti, R (2001) Universally composable security: A new paradigm for cryptographic protocols In: 42nd Annual Symposium on Foundations of Computer Science, FOCS 2001, 14-17 October 2001, Las Vegas, Nevada, USA, 136\u2013145.","DOI":"10.1109\/SFCS.2001.959888"},{"key":"75_CR9","doi-asserted-by":"crossref","unstructured":"Canetti, R, Dodis Y, Pass R, Walfish S (2007) Universally composable security with global setup In: Theory of Cryptography, 4th Theory of Cryptography Conference, TCC 2007, Amsterdam, The Netherlands, February 21-24, 2007, Proceedings, 61\u201385.","DOI":"10.1007\/978-3-540-70936-7_4"},{"key":"75_CR10","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-44647-8_2","volume-title":"Advances in Cryptology \u2014 CRYPTO 2001","author":"R Canetti","year":"2001","unstructured":"Canetti, R, Fischlin M (2001) Universally composable commitments. In: Kilian J (ed)Advances in Cryptology \u2014 CRYPTO 2001, 19\u201340.. Springer, Berlin."},{"key":"75_CR11","doi-asserted-by":"crossref","unstructured":"Canetti, R, Shahaf D, Vald M (2016) Universally composable authentication and key-exchange with global pki In: IACR International Workshop on Public Key Cryptography, 265\u2013296.. Springer.","DOI":"10.1007\/978-3-662-49387-8_11"},{"key":"75_CR12","unstructured":"Department of Public Expenditure and Reform (2019) Project Ireland 2040: National Development Plan 2018-2027. Gov Declaration."},{"key":"75_CR13","volume-title":"Road Vehicles \u2013 Vehicle to Grid Communication Interface \u2013 Part 1: General Information and Use-case Definition","author":"DIN-Normenausschuss Automobiltechnik","year":"2015","unstructured":"DIN-Normenausschuss Automobiltechnik (2015) Road Vehicles \u2013 Vehicle to Grid Communication Interface \u2013 Part 1: General Information and Use-case Definition. Deutsches Institut f\u00fcr Normung e.V., Berlin. Deutsches Institut f\u00fcr Normung e.V.. DIN EN ISO 15118-1."},{"key":"75_CR14","volume-title":"Road Vehicles \u2013 Vehicle to Grid Communication Interface \u2013 Part 2: Network and Application Protocol Requirements","author":"DIN-Normenausschuss Automobiltechnik","year":"2016","unstructured":"DIN-Normenausschuss Automobiltechnik (2016) Road Vehicles \u2013 Vehicle to Grid Communication Interface \u2013 Part 2: Network and Application Protocol Requirements. Deutsches Institut f\u00fcr Normung e.V., Berlin. Deutsches Institut f\u00fcr Normung e.V.. DIN EN ISO 15118-2."},{"key":"75_CR15","first-page":"17","volume-title":"ESSoS. Lecture Notes in Computer Science, vol. 8978","author":"M Fazouane","year":"2015","unstructured":"Fazouane, M, Kopp H, van der Heijden RW, M\u00e9tayer DL, Kargl F (2015) Formal verification of privacy properties in electric vehicle charging In: ESSoS. Lecture Notes in Computer Science, vol. 8978, 17\u201333.. Springer, Cham."},{"key":"75_CR16","doi-asserted-by":"crossref","unstructured":"Foley, A, Winning I, O Gallachoir B (2010) State-of-the-art in electric vehicle charging infrastructure In: 2010 IEEE Vehicle Power and Propulsion Conference (VPPC), 1\u20136.. IEEE.","DOI":"10.1109\/VPPC.2010.5729014"},{"key":"75_CR17","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-01516-8_26","volume-title":"Pervasive Computing","author":"P Golle","year":"2009","unstructured":"Golle, P, Partridge K (2009) On the anonymity of home\/work location pairs. In: Tokuda H, Beigl M, Friday A, Brush AJB, Tobe Y (eds)Pervasive Computing, 390\u2013397.. Springer, Berlin."},{"key":"75_CR18","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.comcom.2016.06.006","volume":"91","author":"W Han","year":"2016","unstructured":"Han, W, Xiao Y (2016) Privacy preservation for v2g networks in smart grid: A survey. Comput Commun 91:17\u201328.","journal-title":"Comput Commun"},{"key":"75_CR19","doi-asserted-by":"crossref","unstructured":"Hartung, G, Cryptographic AccumulatorsNg Matthias Nagel MH, Rupp A (2017) BBA+: improving the security and applicability of privacy-preserving point collection In: Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017, 1925\u20131942.","DOI":"10.1145\/3133956.3134071"},{"key":"75_CR20","doi-asserted-by":"crossref","unstructured":"Herold, G, Hoffmann M, Kloo\u00df M, R\u00e0fols C, Rupp A (2017) New techniques for structural batch verification in bilinear groups with applications to groth-sahai proofs In: ACM Conference on Computer and Communications Security, 1547\u20131564.","DOI":"10.1145\/3133956.3134068"},{"key":"75_CR21","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/2517968.2517971","volume-title":"CyCAR@CCS","author":"C H\u00f6fer","year":"2013","unstructured":"H\u00f6fer, C, Petit J, Schmidt RK, Kargl F (2013) POPCORN: privacy-preserving charging for emobility In: CyCAR@CCS, 37\u201348.. ACM, New York."},{"key":"75_CR22","unstructured":"Hoffmann, M, Fetzer V, Nagel M, Rupp A, Schwerdt R (2018) P4TC\u2014Provably-Secure yet Practical Privacy-Preserving Toll Collection. Cryptology ePrint Archive, Report 2018\/1106. https:\/\/eprint.iacr.org\/2018\/1106 . Accessed Feb 2019."},{"key":"75_CR23","unstructured":"Instruments, T (2017) TI Designs: TIDEP-0087. Human Machine Interface (HMI) for EV Charging Infrastructure Reference Design. http:\/\/www.ti.com\/lit\/ug\/tidude7\/tidude7.pdf . [Online; accessed 09-Jan-2019]."},{"key":"75_CR24","unstructured":"Kawahara, Y, Kobayashi T, Scott M, Kato A (2016) Barreto-naehrig curves. Internet draft, Internet Engineering Task Force. Work in Progress."},{"issue":"3","key":"75_CR25","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S1361-9209(97)00001-1","volume":"2","author":"W Kempton","year":"1997","unstructured":"Kempton, W, Letendre SE (1997) Electric vehicles as a new power source for electric utilities. Transp Res A D Transp Environ 2(3):157\u2013175.","journal-title":"Transp Res A D Transp Environ"},{"key":"75_CR26","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-72037-9_8","volume-title":"Pervasive Computing","author":"J Krumm","year":"2007","unstructured":"Krumm, J (2007) Inference attacks on location tracks. In: LaMarca A, Langheinrich M, Truong KN (eds)Pervasive Computing, 127\u2013143.. Springer, Berlin."},{"key":"75_CR27","doi-asserted-by":"crossref","unstructured":"Liu, JK, Au MH, Susilo W, Zhou J (2012) Enhancing location privacy for electric vehicles (at the right time) In: European Symposium on Research in Computer Security, 397\u2013414.. Springer.","DOI":"10.1007\/978-3-642-33167-1_23"},{"key":"75_CR28","unstructured":"L\u00f6fven, S (2019) Regeringsf\u00f6rklaring. Gov Declaration."},{"key":"75_CR29","first-page":"11","volume-title":"Journal of Research of the National Institute of Standards and Technology, vol. 120","author":"D Moody","year":"2015","unstructured":"Moody, D, Peralta RC, Perlner RA, Regenscheid AR, Roginsky AL, Chen L (2015) Report on pairing-based cryptography In: Journal of Research of the National Institute of Standards and Technology, vol. 120, 11\u201327.. National Insititute of Standards and Technology, Gaithersburg."},{"key":"75_CR30","unstructured":"Savari.net (2017) MobiWAVE On-Board-Unit (OBU). http:\/\/savari.net\/wp-content\/uploads\/2017\/05\/MW-1000_April2017.pdf . [Online; accessed 05-Feb-2018]."},{"key":"75_CR31","doi-asserted-by":"crossref","unstructured":"Schwerdt, R, Nagel M, Fetzer V, Gr\u00e4f T, Rupp A (2019) P6V2G: A Privacy-Preserving V2G Scheme for Two-Way Payments and Reputation. Cryptology ePrint Archive, Report 2019\/786. https:\/\/eprint.iacr.org\/2019\/786 .","DOI":"10.1186\/s42162-019-0075-1"},{"key":"75_CR32","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/j.cose.2016.07.004","volume":"62","author":"Z Wan","year":"2016","unstructured":"Wan, Z, Zhu W-T, Wang G (2016) Prac: Efficient privacy protection for vehicle-to-grid communications in the smart grid. Comput Secur 62:246\u2013256.","journal-title":"Comput Secur"},{"issue":"11","key":"75_CR33","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1109\/TIFS.2015.2455513","volume":"10","author":"H Wang","year":"2015","unstructured":"Wang, H, Qin B, Wu Q, Xu L, Domingo-Ferrer J (2015) Tpp: Traceable privacy-preserving communication and precise reward for vehicle-to-grid networks in smart grids. IEEE Trans Inf Forensic Secur 10(11):2340\u20132351.","journal-title":"IEEE Trans Inf Forensic Secur"}],"container-title":["Energy Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s42162-019-0075-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s42162-019-0075-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s42162-019-0075-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,30]],"date-time":"2022-09-30T04:10:47Z","timestamp":1664511047000},"score":1,"resource":{"primary":{"URL":"https:\/\/energyinformatics.springeropen.com\/articles\/10.1186\/s42162-019-0075-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":33,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2019,9]]}},"alternative-id":["75"],"URL":"https:\/\/doi.org\/10.1186\/s42162-019-0075-1","relation":{},"ISSN":["2520-8942"],"issn-type":[{"value":"2520-8942","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]},"assertion":[{"value":"27 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"32"}}