{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T10:12:57Z","timestamp":1769940777825,"version":"3.49.0"},"reference-count":60,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,12]],"date-time":"2025-05-12T00:00:00Z","timestamp":1747008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,12]]},"DOI":"10.1109\/sp61157.2025.00057","type":"proceedings-article","created":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T18:46:58Z","timestamp":1750099618000},"page":"3440-3459","source":"Crossref","is-referenced-by-count":4,"title":["Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs"],"prefix":"10.1109","author":[{"given":"Jens","family":"Ernstberger","sequence":"first","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Chengru","family":"Zhang","sequence":"additional","affiliation":[{"name":"The University of Hong Kong,Hong Kong"}]},{"given":"Luca","family":"Ciprian","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Philipp","family":"Jovanovic","sequence":"additional","affiliation":[{"name":"University College London,United Kingdom"}]},{"given":"Sebastian","family":"Steinhorst","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1859","article-title":"On (the lack of) location privacy in crowdsourcing applications","volume-title":"28th USENIX Security Symposium","author":"Boukoros","year":"2019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3423165"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516735"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2020408.2020602"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73540-3_14"},{"key":"ref6","author":"Popa","year":"2009","journal-title":"Vpriv: Protecting privacy in location-based vehicular services"},{"key":"ref7","article-title":"Location privacy via private proximity testing","volume":"11","author":"Narayanan","year":"2011","journal-title":"NDSS"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2590296.2590307"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2016.2561281"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2017.2753579"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1186\/s43020-023-00094-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2021-0045"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1559\/152304003100011090"},{"key":"ref14","article-title":"Scaling up trust-less dnn inference with zero-knowledge proofs","author":"Kang","year":"2022","journal-title":"arXiv preprint"},{"key":"ref15","article-title":"Zk-img: Attested images via zero-knowledge proofs to fight disinformation","author":"Kang","year":"2022","journal-title":"arXiv preprint"},{"key":"ref16","first-page":"1","article-title":"IEEE standard for floating-point arithmetic","volume-title":"IEEE Std 754\u20132019 (Revision of IEEE 754\u20132008)","year":"2019"},{"key":"ref17","article-title":"Uber hexagonal hierarchical spatial index","volume-title":"Uber","year":"2023"},{"key":"ref18","author":"Srivastava","year":"2024","journal-title":"Optimistic verifiable training by controlling hardware nondeterminism"},{"key":"ref19","article-title":"Secure computation on floating point numbers","volume-title":"20th Annual Network and Distributed System Security Symposium, NDSS 2013","author":"Aliasgari","year":"2013"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-014-0271-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88238-9_21"},{"key":"ref22","first-page":"501","article-title":"Mystique: Efficient conversions for {Zero-Knowledge} proofs with applications to machine learning","volume-title":"30th USENIX Security Symposium (USENIX Security21)","author":"Weng","year":"2021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560653"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3623202"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833697"},{"key":"ref26","volume-title":"Berkeley testfloat release 3e","author":"Hauser","year":"2018"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3138\/cart.54.1.2018-0022"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090263"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"ref30","article-title":"Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge","author":"Gabizon","year":"2019","journal-title":"Cryptology ePrint Archive"},{"key":"ref31","article-title":"Scalable, transparent, and post-quantum secure computational integrity","author":"Ben-Sasson","year":"2018","journal-title":"Cryptology ePrint Archive"},{"key":"ref32","first-page":"4445","article-title":"{VeriZexe}: Decentralized private computation with universal setup","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Xiong","year":"2023"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03326-2_20"},{"key":"ref34","volume-title":"A brief history of lookup arguments","author":"Solberg","year":"2023"},{"key":"ref35","article-title":"Multivariate lookups based on logarithmic derivatives","author":"Hab\u00f6ck","year":"2022","journal-title":"Cryptology ePrint Archive"},{"key":"ref36","volume-title":"Consensys\/gnark: v0.9.0","author":"Botrel","year":"2023"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.23"},{"key":"ref38","first-page":"4273","article-title":"Efficient representation of numerical optimization problems for SNARKs","volume-title":"31st USENIX Security Symposium","author":"Angel","year":"2022"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801181"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1201\/9781003134114-1"},{"issue":"196","key":"ref41","first-page":"41","article-title":"Sur la determination des polyn\u00f4mes d\u2019approximation de degr\u00e9 donn\u00e9e","volume":"10","author":"Remez","year":"1934","journal-title":"Comm. Soc. Math. Kharkov"},{"key":"ref42","volume-title":"Floating point and zklp open-source implementation","year":"2024"},{"key":"ref43","volume-title":"Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)","author":"Cody","year":"1980"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48051-9_13"},{"key":"ref45","volume-title":"EMP-toolkit: Efficient MultiParty computation toolkit","author":"Wang","year":"2016"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.18"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382261"},{"key":"ref48","article-title":"Bringing data minimization to digital wallets at scale with general-purpose zero-knowledge proofs","author":"Babel","year":"2023","journal-title":"arXiv preprint"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_11"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71070-4_3"},{"key":"ref51","volume-title":"The coalition for content provenance and authenticity (c2pa)"},{"key":"ref52","first-page":"25 490","article-title":"Be like water: Adaptive floating point for machine learning","volume-title":"International Conference on Machine Learning","author":"Yeh","year":"2022"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSPW.2017.46"},{"key":"ref54","article-title":"Abuseresistant location tracking: Balancing privacy and safety in the offline finding ecosystem","author":"Beck","year":"2023","journal-title":"Cryptology ePrint Archive"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.62056\/an-4c3c2h"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/NAVITEC53682.2022.9847548"},{"key":"ref57","article-title":"Lightweight authentication of web data via garble-then-prove","author":"Xie","year":"2023","journal-title":"Cryptology ePrint Archive"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417239"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.56553\/popets-2025-0028"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.56553\/popets-2025-0069"}],"event":{"name":"2025 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2025,5,12]]},"end":{"date-parts":[[2025,5,15]]}},"container-title":["2025 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11023178\/11023253\/11023258.pdf?arnumber=11023258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T04:54:10Z","timestamp":1750136050000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11023258\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,12]]},"references-count":60,"URL":"https:\/\/doi.org\/10.1109\/sp61157.2025.00057","relation":{},"subject":[],"published":{"date-parts":[[2025,5,12]]}}}