{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T22:28:52Z","timestamp":1778106532469,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"European Cooperation in Science and Technology","doi-asserted-by":"publisher","award":["CA19134"],"award-info":[{"award-number":["CA19134"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"German federal ministry of education and research (BMBF)","award":["16DTM107B"],"award-info":[{"award-number":["16DTM107B"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,13]]},"DOI":"10.1145\/3589334.3645426","type":"proceedings-article","created":{"date-parts":[[2024,5,8]],"date-time":"2024-05-08T07:08:13Z","timestamp":1715152093000},"page":"1620-1631","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["SSI, from Specifications to Protocol? Formally Verify Security!"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5843-0316","authenticated-orcid":false,"given":"Christoph H.-J.","family":"Braun","sequence":"first","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0162-1901","authenticated-orcid":false,"given":"Ross","family":"Horne","sequence":"additional","affiliation":[{"name":"University of Strathclyde, Glasgow, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0576-7457","authenticated-orcid":false,"given":"Tobias","family":"K\u00e4fer","sequence":"additional","affiliation":[{"name":"Karlsruhe Institute of Technology, Karlsruhe, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2818-4433","authenticated-orcid":false,"given":"Sjouke","family":"Mauw","sequence":"additional","affiliation":[{"name":"University of Luxemburg, Esch-sur-Alzette, Luxembourg"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,13]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127586"},{"key":"e_1_3_2_2_2_1","volume-title":"The path to self-sovereign identity","author":"Allen C.","year":"2016","unstructured":"Allen, C.: The path to self-sovereign identity (2016), http:\/\/www.lifewithalacrity. com\/2016\/04\/the-path-to-self-soverereign-identity.html"},{"key":"e_1_3_2_2_3_1","unstructured":"American National Standards Institute: Public key cryptography for the financial services industry: the Elliptic Curve Digital Signature Algorithm (ECDSA). X9.62 ANSI (2005)"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2010.15"},{"key":"e_1_3_2_2_5_1","volume-title":"Konzeptionell kaputt und ein riesiger R\u00fcckschritt","author":"Biselli A.","year":"2021","unstructured":"Biselli, A.: Konzeptionell kaputt und ein riesiger R\u00fcckschritt (2021), https:\/\/ netzpolitik.org\/?p=338612"},{"key":"e_1_3_2_2_6_1","first-page":"82","volume-title":"B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW).","author":"Blanchet","year":"2001","unstructured":"Blanchet, B.: An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In: Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW). pp. 82--96 (2001)"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833653"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2021.624258"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3543507.3583409"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48800-3_11"},{"key":"e_1_3_2_2_11_1","first-page":"2183","volume-title":"Proceedings of the 29th USENIX Security Symposium (USENIX Security 20)","author":"Chen J.","year":"2020","unstructured":"Chen, J., Paxson, V., Jiang, J.: Composition kills: A case study of email sender authentication. In: Proceedings of the 29th USENIX Security Symposium (USENIX Security 20). pp. 2183--2199 (2020)"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00033"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978--3--540--78636--8"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain53845.2021.00036"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3117588"},{"key":"e_1_3_2_2_16_1","volume-title":"Terbu","author":"Curren S.","year":"2021","unstructured":"Curren, S., Looker, T., Terbu, O.: DIDComm messaging. Editor's draft, DIF: Decentralized Identity Foundation (2021), https:\/\/identity.foundation\/didcommmessaging\/ spec\/"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2021.631640"},{"key":"e_1_3_2_2_18_1","volume-title":"Smith","author":"Dingle P.","year":"2019","unstructured":"Dingle, P., Hammann, S., Hardman, D., Winczewski, C., Smith, S.: Alice attempts to abuse a verifiable credential. In: White Papers from the 9th Workshop on Rebooting the Web of Trust (RWOT) (2019), https:\/\/github.com\/WebOfTrustInfo\/rwot9-prague\/blob\/master\/finaldocuments\/ alice-attempts-abuse-verifiable-credential.pdf"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.3390\/INFO14070411"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.3389\/fbloc.2021.631341"},{"key":"e_1_3_2_2_22_1","volume-title":"Aristy","author":"Glastra T.","year":"2021","unstructured":"Glastra, T., Aristy, G.: Aries RFC 0453: Issue credential protocol 2.0. RFC, Hyperledger Aries Community (2021), https:\/\/github.com\/hyperledger\/ariesrfcs\/tree\/main\/features\/0453-issue-credential-v2"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3068333"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-17(2:24)2021"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF54842.2022.9919666"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2994090"},{"key":"e_1_3_2_2_27_1","volume-title":"Curran","author":"Khateev N.","year":"2021","unstructured":"Khateev, N., Curran, S.: Aries RFC 0454: Present proof protocol 2.0. RFC, Hyperledger Aries Community (2021), https:\/\/github.com\/hyperledger\/aries-rfcs\/blob\/ main\/features\/0454-present-proof-v2\/README.md"},{"issue":"1","key":"e_1_3_2_2_28_1","first-page":"22","volume":"46","author":"Kudra A.","year":"2022","unstructured":"Kudra, A.: Self-sovereign identity (SSI) in Deutschland. Datenschutz und Datensicherheit 46(1), 22--26 (2022)","journal-title":"Datensicherheit"},{"key":"e_1_3_2_2_29_1","volume-title":"Hardman","author":"Lodder M.","year":"2023","unstructured":"Lodder, M., Hardman, D.: Sovrin DID method specification. Editor's draft (2023), https:\/\/sovrin-foundation.github.io\/sovrin\/spec\/did-method-spectemplate. html"},{"key":"e_1_3_2_2_30_1","volume-title":"Yamamoto","author":"Longley D.","year":"2023","unstructured":"Longley, D., Kellogg, G., Yamamoto, D.: RDF dataset canonicalization a standard RDF dataset canonicalization algorithm. Candidate recommendation draft, W3C (2023), https:\/\/www.w3.org\/TR\/rdf-canon\/"},{"key":"e_1_3_2_2_31_1","volume-title":"Sporny","author":"Longley D.","year":"2022","unstructured":"Longley, D., Sporny, M.: RDF dataset canonicalization. Final community group report, W3C (2022), https:\/\/www.w3.org\/community\/reports\/credentials\/CGFINAL-rdf-dataset-canonicalization-20221009\/"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/3--540-61042--1_43"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.1997.596782"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3463677.3463705"},{"key":"e_1_3_2_2_35_1","volume-title":"Common Criteria for information technology security evaluation (CCMB-2017-04-002)","author":"National Security Agency","year":"2017","unstructured":"National Security Agency: Common Criteria for information technology security evaluation (CCMB-2017-04-002) (2017), https:\/\/www.commoncriteriaportal.org\/ files\/ccfiles\/CCPART2V3.1R5.pdf"},{"key":"e_1_3_2_2_36_1","volume-title":"did:web method specification. Editor","author":"Prorock M.","year":"2023","unstructured":"Prorock, M., Steele, O., Terbu, O.: did:web method specification. Editor's draft (2023), https:\/\/w3c-ccg.github.io\/did-method-web\/"},{"key":"e_1_3_2_2_37_1","volume-title":"W3C","author":"Sambra A.","year":"2019","unstructured":"Sambra, A.: Verifiable credentials use cases. Working group note, W3C (2019), https:\/\/www.w3.org\/TR\/vc-use-cases\/"},{"key":"e_1_3_2_2_38_1","volume-title":"Verifiable credentials implementation guidelines 1.0. Editor","author":"Sambra A.","year":"2023","unstructured":"Sambra, A.: Verifiable credentials implementation guidelines 1.0. Editor's draft, W3C (2023), https:\/\/w3c.github.io\/vc-imp-guide\/"},{"key":"e_1_3_2_2_39_1","volume-title":"Reed","author":"Sporny M.","year":"2022","unstructured":"Sporny, M., Guy, A., Sabadello, M., Reed, D.: Decentralized Identifiers (DIDs). W3C recommendation, W3C (2022), https:\/\/www.w3.org\/TR\/did-core\/"},{"key":"e_1_3_2_2_40_1","volume-title":"Prorock","author":"Sporny M.","year":"2023","unstructured":"Sporny, M., Longley, D., Prorock, M.: Verifiable credential data integrity 1.0: Securing the integrity of verifiable credential data. Candidate recommendation snapshot, W3C (2023), https:\/\/www.w3.org\/TR\/2023\/CR-vc-data-integrity-20231121\/"},{"key":"e_1_3_2_2_41_1","volume-title":"Hartog","author":"Sporny M.","year":"2022","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":"e_1_3_2_2_42_1","volume-title":"Steele","author":"Sporny M.","year":"2022","unstructured":"Sporny, M., Zagidulin, D., Longley, D., Steele, O.: The did:key method v0.7. Unofficial draft (2022), https:\/\/w3c-ccg.github.io\/did-method-key\/"},{"key":"e_1_3_2_2_43_1","volume-title":"Sporny","author":"Steele O.","year":"2023","unstructured":"Steele, O., Sporny, M.: DID specification registries. Note, W3C DID Working Group (2023), https:\/\/www.w3.org\/TR\/did-spec-registries\/#did-methods"},{"key":"e_1_3_2_2_44_1","volume-title":"ETHR DID method specification. Editor","author":"Veramo","year":"2022","unstructured":"Veramo core team: ETHR DID method specification. Editor's draft (2022), https:\/\/github.com\/decentralized-identity\/ethr-did-resolver\/blob\/master\/doc\/did-method-spec.md"},{"key":"e_1_3_2_2_45_1","volume-title":"Aristy","author":"West R.","year":"2021","unstructured":"West, R., Bluhm, D., Hailstone, M., Curren, S., Curran, S., Aristy, G.: Aries RFC 0023: DID exchange protocol 1.0. RFC, Hyperledger Aries Community (2021), https:\/\/github.com\/hyperledger\/aries-rfcs\/tree\/main\/features\/0023-didexchange\/README.md"}],"event":{"name":"WWW '24: The ACM Web Conference 2024","location":"Singapore Singapore","acronym":"WWW '24","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the ACM Web Conference 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645426","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3589334.3645426","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:30:09Z","timestamp":1755822609000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3589334.3645426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":45,"alternative-id":["10.1145\/3589334.3645426","10.1145\/3589334"],"URL":"https:\/\/doi.org\/10.1145\/3589334.3645426","relation":{},"subject":[],"published":{"date-parts":[[2024,5,13]]},"assertion":[{"value":"2024-05-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}