{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T22:24:39Z","timestamp":1770071079365,"version":"3.49.0"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032006417","type":"print"},{"value":"9783032006424","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,8,10]],"date-time":"2025-08-10T00:00:00Z","timestamp":1754784000000},"content-version":"vor","delay-in-days":221,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>This paper introduces a new set of privacy-preserving mechanisms for verifying compliance with location-based policies\u00a0for vehicle taxation, or for (electric) vehicle (EV) subsidies,\u00a0using Zero-Knowledge Proofs (ZKPs). We present the design and evaluation of a Zero-Knowledge Proof-of-Location (ZK-PoL) system that ensures\u00a0a vehicle\u2019s adherence to territorial driving requirements without disclosing specific location data, hence maintaining user privacy. Our findings suggest a promising approach to apply ZK-PoL protocols in large-scale governmental subsidy or taxation programs.<\/jats:p>","DOI":"10.1007\/978-3-032-00642-4_20","type":"book-chapter","created":{"date-parts":[[2025,8,9]],"date-time":"2025-08-09T06:59:14Z","timestamp":1754722754000},"page":"343-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Zero-Knowledge Proof-of-Location Protocols for\u00a0Vehicle Subsidies and\u00a0Taxation Compliance"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9296-9120","authenticated-orcid":false,"given":"Dan","family":"Bogdanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-9996-6333","authenticated-orcid":false,"given":"Eduardo","family":"Brito","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annika","family":"Jaakson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9030-8142","authenticated-orcid":false,"given":"Peeter","family":"Laud","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul-Martin","family":"Rebane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,10]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Acay, C., Recto, R., Gancher, J., Myers, A.C., Shi, E.: Viaduct: an extensible, optimizing compiler for secure distributed programs. In: Freund, S.N., Yahav, E. (eds.) 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI \u201921, Virtual Event, Canada, 20\u201325 June 20211, pp. 740\u2013755. ACM (2021)","DOI":"10.1145\/3453483.3454074"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Jolfaei, A.A., Rupp, A., Schiffner, S., Engel, T.: Why privacy-preserving protocols are sometimes not enough: a case study of the Brisbane toll collection infrastructure. Proc. Priv. Enhancing Technol. 2024(1) (2024)","DOI":"10.56553\/popets-2024-0014"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Baum, C., Malozemoff, A.J., Rosen, M.B., Scholl, P.: Mac\u2019n\u2019Cheese: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions. In: Malkin, T., Peikert, C. (eds.) Advances in Cryptology - CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, 16\u201320 August 2021, Proceedings, Part IV. LNCS, vol. 12828, pp. 92\u2013122. Springer (2021)","DOI":"10.1007\/978-3-030-84259-8_4"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Bogdanov, D., et al.: ZK-SecreC: a domain-specific language for zero-knowledge proofs. In: 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, 8\u201312 July 2024, pp. 372\u2013387. IEEE (2024)","DOI":"10.1109\/CSF61375.2024.00010"},{"key":"20_CR5","unstructured":"Bogdanov, D., et al.: ZK-SecreC: a domain-specific language for zero knowledge proofs. CoRR abs\/2203.15448 (2022)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Bogdanov, D., J\u00f5emets, M., Siim, S., Vaht, M.: How the Estonian tax and customs board evaluated a tax fraud detection system based on secure multi-party computation. In: B\u00f6hme, R., Okamoto, T. (eds.) Financial Cryptography and Data Security, pp. 227\u2013234. Springer, Heidelberg (2015)","DOI":"10.1007\/978-3-662-47854-7_14"},{"key":"20_CR7","unstructured":"Bogdanov, D., et al.: ZK-SecreC compiler (2024). https:\/\/github.com\/zk-secrec\/compiler"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/978-3-030-03326-2_20","volume-title":"Advances in Cryptology \u2013 ASIACRYPT 2018","author":"J Bootle","year":"2018","unstructured":"Bootle, J., Cerulli, A., Groth, J., Jakobsen, S., Maller, M.: Arya: nearly linear-time zero-knowledge proofs for correct program execution. In: Peyrin, T., Galbraith, S. (eds.) ASIACRYPT 2018. LNCS, vol. 11272, pp. 595\u2013626. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03326-2_20"},{"key":"20_CR9","unstructured":"Bornholdt, L., Reher, J., Skwarek, V.; Proof-of-location: a method for securing sensor-data-communication in a Byzantine fault tolerant way. In: Mobile Communication-Technologies and Applications. ITG-Symposium, vol. 24, pp. 1\u20136. VDE (2019)"},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1038\/s41598-025-04566-4","volume":"15","author":"E Brito","year":"2025","unstructured":"Brito, E., Hadachi, A., Kamm, L., Norbisrath, U.: Decentralized proof-of-location systems for trust, scalability, and privacy in digital societies. Sci. Rep. 15(1), 1\u201320 (2025)","journal-title":"Sci. Rep."},{"key":"20_CR11","unstructured":"Bunn, P., et al.: SIEVE intermediate representation (2022). https:\/\/github.com\/sieve-zk\/ir"},{"key":"20_CR12","unstructured":"Catlin, T., Chang, X., McElhaney, D., Paterakis, D.: Connected Revolution: The Future of Us Auto Insurance. McKinsey & Company (2023). https:\/\/www.mckinsey.com\/industries\/financial-services\/our-insights\/connected-revolution-the-future-of-us-auto-insurance"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Costello, C., et al.: Geppetto: versatile verifiable computation. In: 2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, 17\u201321 May 2015, pp. 253\u2013270. IEEE Computer Society (2015)","DOI":"10.1109\/SP.2015.23"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Ecola, L., Sorensen, P., Wachs, M., Donath, M., Munnich, L., Serian, B.: Moving Toward Vehicle Miles of Travel Fees to Replace Fuel Taxes Assessing the Path Forward. Rand Corporation (2011). https:\/\/www.rand.org\/pubs\/research_briefs\/RB9576\/index1.html","DOI":"10.7249\/RB9576"},{"key":"20_CR15","unstructured":"Ernstberger, J., Chaliasos, S., Zhou, L., Jovanovic, P., Gervais, A.: Do you need a zero knowledge proof? Cryptology ePrint Archive (2024)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Ernstberger, J., Zhang, C., Ciprian, L., Jovanovic, P., Steinhorst, S.: Zero-knowledge location privacy via accurate floating-point snarks (2024)","DOI":"10.1109\/SP61157.2025.00057"},{"key":"20_CR17","unstructured":"Transport for London. Ultra Low Emission Zone (2023)"},{"key":"20_CR18","unstructured":"Galois, Inc.: Swanky: a suite of rust libraries for secure computation (2024). https:\/\/github.com\/GaloisInc\/swanky"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Garg, S., et al.: Experimenting with zero-knowledge proofs of training. In: Meng, W., Jensen, C.D., Cremers, C., Kirda, E. (eds.) Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, 26\u201330 November 2023, pp. 1880\u20131894. ACM (2023)","DOI":"10.1145\/3576915.3623202"},{"key":"20_CR20","unstructured":"Grassi, L., Khovratovich, D., Rechberger, C., Roy, A., Schofnegger, M.: Poseidon: a new hash function for $$\\{$$Zero-Knowledge$$\\}$$ proof systems. In: 30th USENIX Security Symposium (USENIX Security 21), pp. 519\u2013535 (2021)"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-662-49896-5_11","volume-title":"Advances in Cryptology \u2013 EUROCRYPT 2016","author":"J Groth","year":"2016","unstructured":"Groth, J.: On the size of pairing-based non-interactive arguments. In: Fischlin, M., Coron, J.-S. (eds.) EUROCRYPT 2016. LNCS, vol. 9666, pp. 305\u2013326. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49896-5_11"},{"key":"20_CR22","unstructured":"iden3: The CIRCOM Language (2021). https:\/\/docs.circom.io\/circom-language\/signals\/"},{"key":"20_CR23","unstructured":"IEA: Global EV outlook 2021, Paris (2021)"},{"issue":"9","key":"20_CR24","doi-asserted-by":"publisher","first-page":"8945","DOI":"10.1109\/TITS.2023.3266828","volume":"24","author":"AA Jolfaei","year":"2023","unstructured":"Jolfaei, A.A., Boualouache, A., Rupp, A., Schiffner, S., Engel, T.: A survey on privacy-preserving electronic toll collection schemes for intelligent transportation systems. IEEE Trans. Intell. Transp. Syst. 24(9), 8945\u20138962 (2023)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"20_CR25","doi-asserted-by":"publisher","first-page":"102464","DOI":"10.1016\/j.cose.2021.102464","volume":"111","author":"JW Kim","year":"2021","unstructured":"Kim, J.W., Edemacu, K., Kim, J.S., Chung, Y.D., Jang, B.: A survey of differential privacy-based techniques and their applicability to location-based services. Comput. Secur. 111, 102464 (2021)","journal-title":"Comput. Secur."},{"key":"20_CR26","unstructured":"Klabnik, S., Nichols, C.: The Rust Programming Language, chapter 10.2 Traits: Defining Shared Behavior, 2nd edn. No Starch Press (2022)"},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Kosba, A.E., Papamanthou, C., Shi, E.: xJsnark: a framework for efficient verifiable computation. In: 2018 IEEE Symposium on Security and Privacy, SP 2018, Proceedings, 21\u201323 May 2018, San Francisco, California, USA, pp. 944\u2013961. IEEE Computer Society (2018)","DOI":"10.1109\/SP.2018.00018"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: Jflow: practical mostly-static information flow control. In: Appel, A.W., Aiken, A. (eds.) Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL \u201999, San Antonio, TX, USA, 20\u201322 January 1999, pp. 228\u2013241. ACM (1999)","DOI":"10.1145\/292540.292561"},{"key":"20_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-030-02922-7_4","volume-title":"Web Information Systems Engineering \u2013 WISE 2018","author":"B Nasrulin","year":"2018","unstructured":"Nasrulin, B., Muzammal, M., Qu, Q.: A robust spatio-temporal verification protocol for blockchain. In: Hacid, H., Cellary, W., Wang, H., Paik, H.-Y., Zhou, R. (eds.) WISE 2018. LNCS, vol. 11233, pp. 52\u201367. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-02922-7_4"},{"key":"20_CR30","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s11277-021-08209-5","volume":"119","author":"H Obeidat","year":"2021","unstructured":"Obeidat, H., Shuaieb, W., Obeidat, O., Abd-Alhameed, R.: A review of indoor localization techniques and wireless technologies. Wirel. Pers. Commun. 119, 289\u2013327 (2021)","journal-title":"Wirel. Pers. Commun."},{"key":"20_CR31","unstructured":"Republic of\u00a0Estonia Land\u00a0Board: L-EST coordinate system (2019)"},{"key":"20_CR32","unstructured":"Estonian\u00a0Ministry of\u00a0the Environment: Conditions and procedure for electric vehicle purchase subsidies. Entered into force on December 16th 2019 (2019). (in Estonian)"},{"key":"20_CR33","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1016\/j.jpdc.2020.06.015","volume":"145","author":"E Pournaras","year":"2020","unstructured":"Pournaras, E.: Proof of witness presence: blockchain consensus for augmented democracy in smart cities. J. Parallel Distrib. Comput. 145, 160\u2013175 (2020)","journal-title":"J. Parallel Distrib. Comput."},{"key":"20_CR34","unstructured":"General Data\u00a0Protection Regulation: Article 22 GDPR. Automated individual decision-making, including profiling. Intersoft Consulting (2020). https:\/\/gdpr-info.eu\/art-22-gdpr"},{"key":"20_CR35","doi-asserted-by":"crossref","unstructured":"Schnorr, C.-P.: Efficient identification and signatures for smart cards. In: Brassard, G. (ed.) Advances in Cryptology - CRYPTO \u201989, 9th Annual International Cryptology Conference, Santa Barbara, California, USA, 20\u201324 August 1989, Proceedings. LNCS, vol. 435, pp. 239\u2013252. Springer (1989)","DOI":"10.1007\/0-387-34805-0_22"},{"key":"20_CR36","unstructured":"Setty, S.T.V., Vu, V., Panpalia, N., Braun, B., Blumberg, A.J., Walfish, M.: Taking proof-based verified computation a few steps closer to practicality. In: Kohno, T. (eds.) Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, 8\u201310 August 2012, pp. 253\u2013268. USENIX Association (2012)"},{"key":"20_CR37","unstructured":"Steinbach, R., Tefft, B.C.: American driving survey: 2022 (research brief). Technical report. AAA Foundation for Traffic Safety, Washington, D.C. (2023)"},{"key":"20_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-319-73305-0_3","volume-title":"Practical Aspects of Declarative Languages","author":"G Stewart","year":"2018","unstructured":"Stewart, G., Merten, S., Leland, L.: Sn\u00e5rkl: somewhat practical, pretty much declarative verifiable computing in Haskell. In: Calimeri, F., Hamlen, K., Leone, N. (eds.) PADL 2018. LNCS, vol. 10702, pp. 36\u201352. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73305-0_3"},{"key":"20_CR39","doi-asserted-by":"crossref","unstructured":"Thaler, J.: Proofs, arguments, and zero-knowledge (draft manuscript) (2023). https:\/\/people.cs.georgetown.edu\/jthaler\/ProofsArgsAndZK.html","DOI":"10.1561\/9781638281252"},{"key":"20_CR40","unstructured":"Verizon: Verizon connect near-real time GPS fleet tracking (2020)"},{"issue":"2\/3","key":"20_CR41","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"DM Volpano","year":"1996","unstructured":"Volpano, D.M., Irvine, C.E., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur. 4(2\/3), 167\u2013188 (1996)","journal-title":"J. Comput. Secur."},{"key":"20_CR42","doi-asserted-by":"crossref","unstructured":"Wahby, R.S., Setty, S.T.V., Ren, Z., Blumberg, A.J., Walfish, M.: Efficient RAM and control flow in verifiable outsourced computation. In: 22nd Annual Network and Distributed System Security Symposium, NDSS 2015, San Diego, California, USA, 8\u201311 February 2015. The Internet Society (2015)","DOI":"10.14722\/ndss.2015.23097"},{"key":"20_CR43","unstructured":"Wappelhorst, S., Hall, D., Nicholas, M., Lutsey, N.: Analyzing policies to grow the electric vehicle market in European cities. International Council on Clean Transportation (2020)"},{"key":"20_CR44","unstructured":"Weng, C., Wang, X.: emp-zk\u2014efficient and interactive zero-knowledge proofs (2023). https:\/\/github.com\/emp-toolkit\/emp-zk"},{"key":"20_CR45","doi-asserted-by":"crossref","unstructured":"Wu, E.W., Jurt, M., Holden, B., Jin, Y.: Proof of location verification towards trustworthy collaborative multi-vendor robotic systems. In: 2024 IEEE International Conference on Industrial Technology (ICIT), pp. 1\u20138. IEEE (2024)","DOI":"10.1109\/ICIT58233.2024.10540894"},{"key":"20_CR46","doi-asserted-by":"crossref","unstructured":"Wu, W., Liu, E., Gong, X., Wang, R.: Blockchain based zero-knowledge proof of location in IoT. In: 2020 IEEE International Conference on Communications (ICC), ICC 2020, pp. 1\u20137. IEEE (2020)","DOI":"10.1109\/ICC40277.2020.9149366"},{"key":"20_CR47","doi-asserted-by":"crossref","unstructured":"Yang, K., Sarkar, P., Weng, C., Wang, X.: QuickSilver: efficient and affordable zero-knowledge proofs for circuits and polynomials over any field. In: Kim, Y., Kim, J., Vigna, G., Shi, E. (eds.) 2021 ACM SIGSAC Conference on Computer and Communications Security, CCS \u201921, Virtual Event, Republic of Korea, 15\u201319 November 2021, pp. 2986\u20133001. ACM (2021)","DOI":"10.1145\/3460120.3484556"}],"container-title":["Lecture Notes in Computer Science","Availability, Reliability and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00642-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T20:07:38Z","timestamp":1757362058000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00642-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783032006417","9783032006424"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00642-4_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"10 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ARES","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Availability, Reliability and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ghent","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ares-12025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2025.ares-conference.eu","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}