{"authors":[{"id":"orcid_______::ceda6713a0fe55286dc77a7b29453870","fullName":"Heini Bergsson Debes","name":null,"surname":null,"rank":1,"pid":{"id":{"scheme":"orcid","value":"0000-0002-2385-8187"},"provenance":null}},{"id":"orcid_______::1eb4e9bd38ba5ba529558c92904d0610","fullName":"Thanassis Giannetsos","name":null,"surname":null,"rank":2,"pid":{"id":{"scheme":"orcid","value":"0000-0003-0663-2263"},"provenance":null}}],"openAccessColor":null,"publiclyFunded":false,"eoscIfGuidelines":null,"type":"publication","language":{"code":"und","label":"Undetermined"},"countries":null,"subjects":[{"subject":{"scheme":"keyword","value":"Designated Verifier"},"provenance":null},{"subject":{"scheme":"keyword","value":"zkSNARKs"},"provenance":null},{"subject":{"scheme":"FOS","value":"0102 computer and information sciences"},"provenance":null},{"subject":{"scheme":"FOS","value":"01 natural sciences"},"provenance":null},{"subject":{"scheme":"keyword","value":"Anonymous Credentials"},"provenance":null}],"mainTitle":"RETRACT: Expressive Designated Verifier Anonymous Credentials","subTitle":null,"descriptions":["Anonymous credentials (ACs) are digital cryptographically-secure versions of paper and digital credentials that let us selectively prove possession of encoded attributes (claims) to verifiers such as digital services, employers, or government departments without disclosing any other information. While attributes by governmental issuers usually reflect basic personal information about the credential holder (e.g., name, gender, age, address), attributes can also reflect more extensive claims about holders, such as the holder’s platform details and configuration. Since the attributes might be sensitive, it is popular to embed additional attributes in the credential about the existing attributes, e.g., that age is above 18, thus allowing a holder to show that their age satisfies some condition without revealing the exact age. However, since each verifier might have different policies that must be satisfied, it is becoming increasingly impractical for issuers to embed all possible claims in a credential. To mitigate this problem and allow arbitrary policies to be checked against individual attributes without complicating or overwhelming the credential, we propose to let verifiers dynamically define policies as high-level programs which can be verifiably executed by holders on their credentials. Furthermore, to mitigate the potential risk of dishonest verifiers attempting to benefit or otherwise leak sensitive information learned through this unlimited expressiveness of policies, we propose making the proofs designated verifier. Thus, any proof produced for one verifier cannot be used to convince another.","First submission version"],"publicationDate":"2023-08-29","publisher":"ACM","embargoEndDate":null,"sources":["Crossref","ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security","Proceedings of the 18th International Conference on Availability, Reliability and Security"],"formats":null,"contributors":null,"coverages":null,"bestAccessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/"},"container":{"name":"Proceedings of the 18th International Conference on Availability, Reliability and Security","issnPrinted":null,"issnOnline":null,"issnLinking":null,"ep":"12","iss":null,"sp":"1","vol":null,"edition":null,"conferencePlace":null,"conferenceDate":null},"documentationUrls":null,"codeRepositoryUrl":null,"programmingLanguage":null,"contactPeople":null,"contactGroups":null,"tools":null,"size":null,"version":null,"geoLocations":null,"id":"doi_dedup___::bc751946594e01dc2a6fc9d112f9fea0","originalIds":["10.1145/3600160.3600191","10.1145/3600160","50|doiboost____|bc751946594e01dc2a6fc9d112f9fea0","50|datacite____::00b5326882b9e6d73d2439128eab1a0a","10.5281/zenodo.8215259","50|datacite____::1501de545ca12c9acca532825b884964","10.5281/zenodo.13459230","oai:zenodo.org:13459230","50|od______2659::1501de545ca12c9acca532825b884964","50|datacite____::1803c48f9b13ff315f682861a40c00da","10.5281/zenodo.13459229","50|datacite____::b607d6b6e0d3bd2792ccbe7407ac1c16","10.5281/zenodo.8215260","50|od______2659::b607d6b6e0d3bd2792ccbe7407ac1c16","oai:zenodo.org:8215260","50|dblp________::9d412292fd29725ea5059972e930b52e","oai:zenodo.org:8112924","50|od______2659::bc751946594e01dc2a6fc9d112f9fea0","50|r3c4b2081b22::00b5326882b9e6d73d2439128eab1a0a","50|r3c4b2081b22::20684ff923f64a89eefc61ab00bb2f5d","10.5281/ZENODO.13459230","50|r3c4b2081b22::bc751946594e01dc2a6fc9d112f9fea0","50|sygma_______::00b5326882b9e6d73d2439128eab1a0a","50|sygma_______::bc751946594e01dc2a6fc9d112f9fea0"],"pids":[{"scheme":"doi","value":"10.1145/3600160.3600191"},{"scheme":"doi","value":"10.5281/zenodo.8215259"},{"scheme":"doi","value":"10.5281/zenodo.13459230"},{"scheme":"doi","value":"10.5281/zenodo.13459229"},{"scheme":"doi","value":"10.5281/zenodo.8215260"}],"dateOfCollection":null,"lastUpdateTimeStamp":null,"indicators":{"citationImpact":{"citationCount":3.0,"influence":2.280278E-9,"popularity":3.6255918E-9,"impulse":3.0,"citationClass":"C5","influenceClass":"C5","impulseClass":"C5","popularityClass":"C4"},"usageCounts":{"downloads":19,"views":14}},"projects":[{"id":"corda_____he::9ce4795c43250f481c709ae85d41b183","code":"101086308","acronym":"DUCA","title":"Data Usage Control for empowering digital sovereignty for All citizens","funder":"European Commission","pids":[{"scheme":"doi","value":"10.3030/101086308"}]},{"id":"corda__h2020::17d08d2bc0faf4145a2cb28271f45fbc","code":"952697","acronym":"ASSURED","title":"Future Proofing of ICT Trust Chains: Sustainable Operational Assurance and Verification Remote Guards for Systems-of-Systems Security and Privacy","funder":"European Commission","pids":[{"scheme":"doi","value":"10.3030/952697"}]}],"organizations":[{"legalName":"Technical University of Denmark","acronym":"DTU","id":"openorgs____::b15b534e576535e50a702454bb728cca","pids":[{"scheme":"fundref","value":"501100006262"},{"scheme":"OrgReg","value":"DK0006"},{"scheme":"GRID","value":"grid.5170.3"},{"scheme":"Wikidata","value":"Q2118480"},{"scheme":"OrgRef","value":"144200"},{"scheme":"ROR","value":"https://ror.org/04qtj9h94"},{"scheme":"ISNI","value":"0000000121818870"},{"scheme":"RRID","value":"RRID:SCR_011559"},{"scheme":"FundRef","value":"501100005192"},{"scheme":"Wikidata","value":"Q2570097"},{"scheme":"wikidata","value":"Q1269766"},{"scheme":"Wikidata","value":"Q56612529"},{"scheme":"FundRef","value":"501100006262"},{"scheme":"wikidata","value":"Q2118480"},{"scheme":"PIC","value":"999990655"},{"scheme":"mag_id","value":"96673099"},{"scheme":"fundref","value":"501100005191"},{"scheme":"FundRef","value":"501100005191"},{"scheme":"wikidata","value":"Q56612529"},{"scheme":"fundref","value":"501100005192"},{"scheme":"Wikidata","value":"Q1269766"}],"countries":[{"code":"DK","label":"Denmark"}],"websiteurl":"http://www.dtu.dk/english"}],"communities":[{"code":"eu-conexus","label":"European University for Smart Urban Coastal Sustainability","provenance":null},{"code":"eosc","label":"EOSC","provenance":null},{"code":"uarctic","label":"UArctic","provenance":null}],"collectedFrom":[{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"},{"key":"openaire____::a8db6f6b2ce4fe72e8b2314a9a93e7d9","value":"Sygma"},{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},{"key":"openaire____::081b82f96300b6a6e3d282bad31cb6e2","value":"Crossref"},{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"},{"key":"re3data_____::c4b2081b224be6b3e79d0e5e5556f631","value":"European Union Open Data Portal"}],"instances":[{"pids":[{"scheme":"doi","value":"10.1145/3600160.3600191"}],"license":"https://www.acm.org/publications/policies/copyright_policy#Background","accessRight":{"code":"c_14cb","label":"CLOSED","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://doi.org/10.1145/3600160.3600191"],"publicationDate":"2023-08-29","refereed":"peerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"openaire____::081b82f96300b6a6e3d282bad31cb6e2","value":"Crossref"}},{"pids":[{"scheme":"doi","value":"10.5281/zenodo.8215259"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://dx.doi.org/10.5281/zenodo.8215259"],"publicationDate":"2023-08-04","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"}},{"pids":[{"scheme":"doi","value":"10.5281/zenodo.13459230"}],"license":"CC BY","type":"Other literature type","urls":["https://dx.doi.org/10.5281/zenodo.13459230"],"publicationDate":"2023-08-01","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"}},{"pids":[{"scheme":"doi","value":"10.5281/zenodo.13459230"}],"alternateIdentifiers":[{"scheme":"oai","value":"oai:zenodo.org:13459230"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Other literature type","urls":["http://dx.doi.org/10.5281/zenodo.13459230","https://zenodo.org/records/13459230"],"publicationDate":"2023-08-01","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"}},{"pids":[{"scheme":"doi","value":"10.5281/zenodo.13459229"}],"license":"CC BY","type":"Other literature type","urls":["https://dx.doi.org/10.5281/zenodo.13459229"],"publicationDate":"2023-08-01","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"}},{"pids":[{"scheme":"doi","value":"10.5281/zenodo.8215260"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://dx.doi.org/10.5281/zenodo.8215260"],"publicationDate":"2023-08-04","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"openaire____::9e3be59865b2c1c335d32dae2fe7b254","value":"Datacite"}},{"pids":[{"scheme":"doi","value":"10.5281/zenodo.8215260"}],"alternateIdentifiers":[{"scheme":"oai","value":"oai:zenodo.org:8215260"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://zenodo.org/records/8215260","http://dx.doi.org/10.5281/zenodo.8215260"],"publicationDate":"2023-08-04","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.1145/3600160.3600191"}],"type":"Conference object","urls":["https://dblp.org/rec/conf/IEEEares/DebesG23.html","https://doi.org/10.1145/3600160.3600191"],"refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"},"collectedFrom":{"key":"openaire____::d8b68cc0a53121f6f896883a7d60c1db","value":"DBLP"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.1145/3600160.3600191"},{"scheme":"oai","value":"oai:zenodo.org:8112924"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Conference object","urls":["https://zenodo.org/records/8112924","http://dx.doi.org/10.1145/3600160.3600191"],"publicationDate":"2023-09-01","refereed":"nonPeerReviewed","hostedBy":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"},"collectedFrom":{"key":"opendoar____::358aee4cc897452c00244351e4d91f69","value":"ZENODO"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.5281/zenodo.8215259"}],"type":"Conference object","urls":["http://dx.doi.org/10.5281/zenodo.8215259"],"publicationDate":"2023-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"re3data_____::c4b2081b224be6b3e79d0e5e5556f631","value":"European Union Open Data Portal"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.5281/zenodo.13459230"}],"type":"Conference object","urls":["http://dx.doi.org/10.5281/ZENODO.13459230"],"publicationDate":"2023-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"re3data_____::c4b2081b224be6b3e79d0e5e5556f631","value":"European Union Open Data Portal"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.1145/3600160.3600191"}],"type":"Conference object","urls":["http://dx.doi.org/10.1145/3600160.3600191"],"publicationDate":"2023-01-01","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"re3data_____::c4b2081b224be6b3e79d0e5e5556f631","value":"European Union Open Data Portal"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.5281/zenodo.8215259"}],"license":"CC BY","accessRight":{"code":"c_abf2","label":"OPEN","scheme":"http://vocabularies.coar-repositories.org/documentation/access_rights/","openAccessRoute":null},"type":"Article","urls":["https://zenodo.org/record/8215260","https://doi.org/10.5281/zenodo.8215259"],"publicationDate":"2023-08-04","refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"openaire____::a8db6f6b2ce4fe72e8b2314a9a93e7d9","value":"Sygma"}},{"alternateIdentifiers":[{"scheme":"doi","value":"10.1145/3600160.3600191"}],"license":"https://www.acm.org/publications/policies/copyright_policy#Background","type":"Conference object","urls":["http://dx.doi.org/10.1145/3600160.3600191"],"refereed":"nonPeerReviewed","hostedBy":{"key":"openaire____::55045bd2a65019fd8e6741a755395c8c","value":"Unknown Repository"},"collectedFrom":{"key":"openaire____::a8db6f6b2ce4fe72e8b2314a9a93e7d9","value":"Sygma"}}],"links":[{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"corda_____he::9ce4795c43250f481c709ae85d41b183","relatedRecordType":"project","relationProvenance":"sysimport:crosswalk","trust":"0.9"},"collectedfrom":[{"dsId":"openaire____::3f264f93cf3b0cfc4ede188a6300455c","dsName":"CORDA - COmmon Research DAta Warehouse - Horizon Europe"}],"projectTitle":"Data Usage Control for empowering digital sovereignty for All citizens","code":"101086308","funding":{"funder":{"id":"ec__________::EC","shortname":"EC","name":"European Commission","jurisdiction":{"code":"EU","label":"European Union"},"pid":null},"level0":{"id":"ec__________::EC::HE","description":"Horizon Europe Framework Programme","name":"HE"},"level1":{"id":"ec__________::EC::HE::HORIZON-TMA-MSCA-SE","description":"HORIZON TMA MSCA Staff Exchanges","name":"HORIZON-TMA-MSCA-SE"},"level2":{"id":null,"description":null,"name":null}},"startDate":"2023-01-01","endDate":"2026-12-31"},{"header":{"relationType":"resultProject","relationClass":"isProducedBy","relatedIdentifier":"corda__h2020::17d08d2bc0faf4145a2cb28271f45fbc","relatedRecordType":"project","relationProvenance":"sysimport:actionset","trust":"0.9"},"collectedfrom":[{"dsId":"openaire____::a55eb91348674d853191f4f4fd73d078","dsName":"CORDA - COmmon Research DAta Warehouse - Horizon 2020"}],"projectTitle":"Future Proofing of ICT Trust Chains: Sustainable Operational Assurance and Verification Remote Guards for Systems-of-Systems Security and Privacy","code":"952697","funding":{"funder":{"id":"ec__________::EC","shortname":"EC","name":"European Commission","jurisdiction":{"code":"EU","label":"European Union"},"pid":null},"level0":{"id":"ec__________::EC::H2020","description":"Horizon 2020 Framework Programme","name":"H2020"},"level1":{"id":"ec__________::EC::H2020::RIA","description":"Research and Innovation action","name":"RIA"},"level2":{"id":null,"description":null,"name":null}},"startDate":"2020-09-01","endDate":"2023-08-31"}],"otherTitles":null,"green":true,"inDiamondJournal":false,"isGreen":true,"isInDiamondJournal":false}