SSI, from Specifications to Protocol? Formally Verify Security!

SSI, from Specifications to Protocol? Formally Verify Security!

Christoph Braun, Ross Horne, Tobias Käfer, Sjouke Mauw

Published: 2024 Mai

Buchtitel: Proceedings of the ACM on Web Conference 2024
Seiten: 1620–1631
Verlag: ACM

Referierte Veröffentlichung

BibTeX

DOI Link: 10.1145/3589334.3645426

Projekt

MANDAT

Forschungsgruppe

Web Science

Forschungsgebiet

Semantische Technologien, Vernetzte Daten, Sicherheit, Semantic Web, Blockchain, Solid