{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T11:12:19Z","timestamp":1778065939779,"version":"3.51.4"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032251558","type":"print"},{"value":"9783032251565","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-25156-5_16","type":"book-chapter","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T10:18:39Z","timestamp":1778062719000},"page":"297-318","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Proving Soundness of\u00a0SPARQL Query Results Using Selective Disclosure of\u00a0RDF Datasets and\u00a0Zero-Knowledge Proofs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5843-0316","authenticated-orcid":false,"given":"Christoph H.-J.","family":"Braun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5771-988X","authenticated-orcid":false,"given":"Jesse","family":"Wright","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0576-7457","authenticated-orcid":false,"given":"Tobias","family":"K\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,7]]},"reference":[{"key":"16_CR1","unstructured":"Balancing data sharing and privacy to enhance integrity and trust in government programs. Tech. rep., National Academy of Public Administration, Washington, D.C. (2025), a research paper for the Program Integrity Alliance"},{"key":"16_CR2","unstructured":"Baum, C.,et al.: Cryptographers\u2019 Feedback on the EU Digital Identity\u2019s ARF (2024). https:\/\/github.com\/user-attachments\/files\/15904122\/cryptographers-feedback.pdf, https:\/\/github.com\/eu-digital-identity-wallet\/eudi-doc-architecture-and-reference-framework\/issues\/200"},{"key":"16_CR3","unstructured":"Bernstein, G., Sporny, M.: Data integrity bbs cryptosuites v1.0. W3c candidate recommendation draft, W3C Verifiable Credentials Working Group (2024). https:\/\/www.w3.org\/TR\/vc-di-bbs\/"},{"key":"16_CR4","unstructured":"Bernstein, G., Sporny, M.: Data Integrity BBS Cryptosuites v1.0: Achieving Unlinkable Data Integrity with Pairing-based Cryptography. Candidate recommendation draft, World Wide Web Consortium (W3C) (2025). https:\/\/www.w3.org\/TR\/2025\/CRD-vc-di-bbs-20250403\/"},{"key":"16_CR5","unstructured":"Brands, S.: A technical overview of digital credentials (2002). https:\/\/api.semanticscholar.org\/CorpusID:18284690"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Braun, C.H., Horne, R., K\u00e4fer, T., Mauw, S.: Ssi, from specifications to protocol? formally verify security! In: Chua, T., Ngo, C., Kumar, R., Lauw, H.W., Lee, R.K. (eds.) Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, May 13\u201317, 2024, pp. 1620\u20131631. ACM (2024). https:\/\/doi.org\/10.1145\/3589334.3645426","DOI":"10.1145\/3589334.3645426"},{"key":"16_CR7","doi-asserted-by":"publisher","unstructured":"Braun, C.H., K\u00e4fer, T.: RDF-based semantics for selective disclosure and zero-knowledge proofs on verifiable credentials. In: Curry, E., et al.(eds.) The Semantic Web - 22nd European Semantic Web Conference, ESWC 2025, Portoroz, Slovenia, June 1\u20135, 2025, Proceedings, Part I. Lecture Notes in Computer Science, vol. 15718, pp. 383\u2013402. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-94575-5_21","DOI":"10.1007\/978-3-031-94575-5_21"},{"key":"16_CR8","unstructured":"Bureau, J.: How Data-Driven Transparency Can Help Safeguard The Supply Chain (2025). https:\/\/www.forbes.com\/councils\/forbesbusinesscouncil\/2025\/09\/17\/how-data-driven-transparency-can-help-safeguard-the-supply-chain\/"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Camenisch, J., Drijvers, M., Lehmann, A.: Anonymous attestation using the strong diffie hellman assumption revisited. IACR Cryptol. ePrint Arch, p.\u00a0663 (2016). http:\/\/eprint.iacr.org\/2016\/663","DOI":"10.1007\/978-3-319-45572-3_1"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Camenisch, J., Lysyanskaya, A.: A signature scheme with efficient protocols. In: Revised Papers of the 3rd SCN. LNCS, vol.\u00a02576, pp. 268\u2013289. Springer, Cham (2002)","DOI":"10.1007\/3-540-36413-7_20"},{"key":"16_CR11","doi-asserted-by":"publisher","unstructured":"Camenisch, J., Stadler, M.: Proof systems for general statements about discrete logarithms. In: Fumy, W. (ed.) Advances in Cryptology - EUROCRYPT \u201997, International Conference on the Theory and Application of Cryptographic Techniques, Konstanz, Germany, May 11\u201315, 1997, Proceedings. Lecture Notes in Computer Science, vol.\u00a01233, pp. 311\u2013323. Springer, Cham (1997). https:\/\/doi.org\/10.1007\/3-540-62975-0_25","DOI":"10.1007\/3-540-62975-0_25"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Campanelli, M., Fiore, D., Querol, A.: LegoSNARK: modular design and composition of succinct zero-knowledge proofs. IACR Cryptol. ePrint Arch. 142 (2019)","DOI":"10.1145\/3319535.3339820"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Canetti, R., Lindell, Y., Ostrovsky, R., Sahai, A.: Universally composable two-party and multi-party secure computation. IACR Cryptol. ePrint Arch. 140 (2002). http:\/\/eprint.iacr.org\/2002\/140","DOI":"10.1145\/509907.509980"},{"key":"16_CR14","doi-asserted-by":"publisher","unstructured":"Carroll, J.J., Bizer, C., Hayes, P.J., Stickler, P.: Named graphs, provenance and trust. In: Ellis, A., Hagino, T. (eds.) Proceedings of the 14th International Conference on World Wide Web, WWW 2005, Chiba, Japan, May 10\u201314, 2005, pp. 613\u2013622. ACM (2005). https:\/\/doi.org\/10.1145\/1060745.1060835","DOI":"10.1145\/1060745.1060835"},{"key":"16_CR15","unstructured":"Cyganiak, R., Wood, D., Lanthaler, M.: Rdf 1.1 concepts and abstract syntax. W3C Recommendation, W3C (2014). https:\/\/www.w3.org\/TR\/rdf11-concepts\/"},{"key":"16_CR16","unstructured":"Eagen, L., Kanjalkar, S., Ruffing, T., Nick, J.: Bulletproofs++: next generation confidential transactions via reciprocal set membership arguments. IACR Cryptol. ePrint Arch. 510 (2022). https:\/\/eprint.iacr.org\/2022\/510"},{"key":"16_CR17","unstructured":"European Commission: EU Digital Identity Wallet (2024). https:\/\/ec.europa.eu\/digital-building-blocks\/sites\/display\/EUDIGITALIDENTITYWALLET\/, Accessed 17 Sep 2024"},{"key":"16_CR18","unstructured":"European Commission: Regulation (eu) 2024\/1183 of the european parliament and of the council amending regulation (eu) no 910\/2014 as regards establishing the european digital identity framework (2024). https:\/\/eur-lex.europa.eu\/legal-content\/EN\/TXT\/?uri=OJ:L_202401183, Accessed 17 Sep 2024"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-642-04930-9_13","volume-title":"The Semantic Web - ISWC 2009","author":"G Flouris","year":"2009","unstructured":"Flouris, G., Fundulaki, I., Pediaditis, P., Theoharis, Y., Christophides, V.: Coloring RDF Triples to Capture Provenance. In: Bernstein, A., et al. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 196\u2013212. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04930-9_13"},{"key":"16_CR20","doi-asserted-by":"publisher","unstructured":"Geerts, F., Unger, T., Karvounarakis, G., Fundulaki, I., Christophides, V.: Algebraic structures for capturing the provenance of sparql queries. J. ACM 63(1) (2016). https:\/\/doi.org\/10.1145\/2810037","DOI":"10.1145\/2810037"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Goldwasser, S., Micali, S., Rackoff, C.: The knowledge complexity of interactive proof-systems. In: Proceedings of the 17th ACM STOC, pp. 291\u2013304. ACM (1985)","DOI":"10.1145\/22145.22178"},{"key":"16_CR22","doi-asserted-by":"publisher","unstructured":"Graux, H.: The symbiosis between data protection and open data: a primer on how to reconcile eu data protection law with open data policies. Tech. Rep. OA-01-24-039-EN-Q, Publications Office of the European Union, Luxembourg (2024). https:\/\/doi.org\/10.2830\/1874306, prepared for data.europa.eu, an initiative of the European Commission","DOI":"10.2830\/1874306"},{"key":"16_CR23","doi-asserted-by":"publisher","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 31\u201340. PODS \u201907, Association for Computing Machinery, New York, NY, USA (2007). https:\/\/doi.org\/10.1145\/1265530.1265535","DOI":"10.1145\/1265530.1265535"},{"key":"16_CR24","unstructured":"Harris, S., Seaborne, A.: Sparql 1.1 query language. W3C Recommendation, W3C (2013). https:\/\/www.w3.org\/TR\/sparql11-query\/"},{"key":"16_CR25","doi-asserted-by":"publisher","unstructured":"Hern\u00e1ndez, D., Gal\u00e1rraga, L., Hose, K.: Computing how-provenance for sparql queries via query rewriting. Proc. VLDB Endow. 14(13), 3389\u20133401 (2021). https:\/\/doi.org\/10.14778\/3484224.3484235","DOI":"10.14778\/3484224.3484235"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s12553-012-0037-0","volume":"3","author":"P Kierkegaard","year":"2013","unstructured":"Kierkegaard, P.: E-prescription across europe. Health Technol. 3, 205\u2013219 (2013). https:\/\/doi.org\/10.1007\/s12553-012-0037-0","journal-title":"Health Technol."},{"key":"16_CR27","unstructured":"Kilian, J.: Uses of randomness in algorithms and protocols. MIT Press (1990)"},{"key":"16_CR28","unstructured":"Knublauch, H., Sommer, A.: SHACL 1.2 SPARQL extensions. Working draft, World Wide Web Consortium (W3C) (2025). https:\/\/www.w3.org\/TR\/2025\/WD-shacl12-sparql-20251125\/, latest version available at https:\/\/www.w3.org\/TR\/shacl12-sparql\/"},{"key":"16_CR29","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.78","volume":"2","author":"T Kuhn","year":"2016","unstructured":"Kuhn, T., Chichester, C., Krauthammer, M., Queralt-Rosinach, N., Verborgh, R., Giannakopoulos, G., Ngomo, A.N., Viglianti, R., Dumontier, M.: Decentralized provenance-aware publishing with nanopublications. PeerJ Comput. Sci. 2, e78 (2016)","journal-title":"PeerJ Comput. Sci."},{"key":"16_CR30","doi-asserted-by":"publisher","unstructured":"Li, X., Weng, C., Xu, Y., Wang, X., Rogers, J.: ZKSQL: verifiable and efficient query evaluation with zero-knowledge proofs. Proc. VLDB Endow. 16(8), 1804\u20131816 (2023). https:\/\/doi.org\/10.14778\/3594512.3594513, https:\/\/www.vldb.org\/pvldb\/vol16\/p1804-li.pdf","DOI":"10.14778\/3594512.3594513"},{"key":"16_CR31","doi-asserted-by":"publisher","unstructured":"Lipmaa, H.: On black-box knowledge-sound commit-and-prove snarks. In: Guo, J., Steinfeld, R. (eds.) Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part II. Lecture Notes in Computer Science, vol. 14439, pp. 41\u201376. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-981-99-8724-5_2","DOI":"10.1007\/978-981-99-8724-5_2"},{"key":"16_CR32","unstructured":"Longley, D., Sporny, M.: RDF dataset canonicalization. Final community group report, W3C (2022). https:\/\/www.w3.org\/community\/reports\/credentials\/CG-FINAL-rdf-dataset-canonicalization-20221009\/"},{"key":"16_CR33","unstructured":"Morel, S.: Computational integrity for outsourced execution of SPARQL queries. Master\u2019s dissertation, Ghent University (2019)"},{"key":"16_CR34","unstructured":"Mulder, G.D., Dedecker, R., Meester, B.D., Colpaert, P.: Towards queryable verifiable credentials. In: ISWC 2025 Companion Volume. Nara, Japan (2025)"},{"key":"16_CR35","unstructured":"Pointcheval, D., Sanders, O.: Short randomizable signatures. Cryptology ePrint Archive, Paper 2015\/525 (2015), https:\/\/eprint.iacr.org\/2015\/525"},{"key":"16_CR36","doi-asserted-by":"publisher","unstructured":"Shpilka, A., Yehudayoff, A.: Arithmetic circuits: a survey of recent results and open questions. Found. Trends Theor. Comput. Sci. 5(3-4), 207\u2013388 (2010). https:\/\/doi.org\/10.1561\/0400000039","DOI":"10.1561\/0400000039"},{"key":"16_CR37","doi-asserted-by":"publisher","unstructured":"Sion, L., Landuyt, D.V., Wuyts, K., Joosen, W.: Robust and reusable LINDDUN privacy threat knowledge. Comput. Secur. 154, 104419 (2025). https:\/\/doi.org\/10.1016\/J.COSE.2025.104419","DOI":"10.1016\/J.COSE.2025.104419"},{"key":"16_CR38","unstructured":"Sporny, M., Noble, G., Longley, D., Burnett, D.C., Zundel, B., Hartog, K.D.: Verifiable credentials data model v1.1. W3C recommendation, W3C (2022). https:\/\/www.w3.org\/TR\/vc-data-model\/"},{"key":"16_CR39","unstructured":"Terbu, O., Lodderstedt, T., Yasuda, K., Fett, D., Heenan, J.: OpenID for Verifiable Presentations 1.0. Technical specification, OpenID Digital Credentials Protocols Workgroup (2025), final Specification"},{"key":"16_CR40","unstructured":"Vitto, G., Biryukov, A.: Dynamic universal accumulator with batch update over bilinear groups. IACR Cryptol. ePrint Arch. p.\u00a0777 (2020). https:\/\/eprint.iacr.org\/2020\/777"},{"key":"16_CR41","unstructured":"Wright, J.: Towards provable provenance and privacy-preserving queries in decentralised data architectures. In: ISWC 2025 Companion Volume. Nara, Japan (2025)"},{"key":"16_CR42","doi-asserted-by":"publisher","unstructured":"Wu, H., et al.: Zero-knowledge verifiable graph query evaluation via expansion-centric operator decomposition. CoRR abs\/2507.00427 (2025). https:\/\/doi.org\/10.48550\/ARXIV.2507.00427","DOI":"10.48550\/ARXIV.2507.00427"},{"key":"16_CR43","doi-asserted-by":"publisher","unstructured":"Yamamoto, D., Suga, Y., Sako, K.: Formalising linked-data based verifiable credentials for selective disclosure. In: IEEE European Symposium on Security and Privacy, EuroS&P 2022 - Workshops, Genoa, Italy, June 6\u201310, 2022, pp. 52\u201365. IEEE (2022). https:\/\/doi.org\/10.1109\/EUROSPW55150.2022.00013","DOI":"10.1109\/EUROSPW55150.2022.00013"},{"key":"16_CR44","doi-asserted-by":"publisher","unstructured":"Zhou, E., et al.: Veridkg: A verifiable SPARQL query engine for decentralized knowledge graphs. Proc. VLDB Endow. 17(4), 912\u2013925 (2023). https:\/\/doi.org\/10.14778\/3636218.3636242","DOI":"10.14778\/3636218.3636242"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-25156-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T10:19:01Z","timestamp":1778062741000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-25156-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032251558","9783032251565"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-25156-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"7 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESWC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Semantic Web Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dubrovnik","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Croatia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esws2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2026.eswc-conferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}