Aktuelle Version vom 27. Mai 2024, 09:50 Uhr

SSI, from Specifications to Protocol? Formally Verify Security!

Published: 2024 Mai

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

Referierte Veröffentlichung

Projekt

Forschungsgruppe

Forschungsgebiet

@@ Zeile 2: / Zeile 2: @@
 |ErsterAutorNachname=Braun
 |ErsterAutorVorname=Christoph
+}}
+{{Publikation Author
+|Rank=2
+|Author=Ross Horne
+}}
+{{Publikation Author
+|Rank=3
+|Author=Tobias Käfer
+}}
+{{Publikation Author
+|Rank=4
+|Author=Sjouke Mauw
 }}
 {{Inproceedings
@@ Zeile 8: / Zeile 20: @@
 |Year=2024
 |Month=Mai
-|Booktitle=Proceedings of the ACM on Web Conference 2024
+|Booktitle=Proceedings of the ACM Web Conference 2024, WWW 2024
 |Pages=1620–1631
 |Publisher=ACM
@@ Zeile 16: / Zeile 28: @@
 |Projekt=MANDAT
 |Forschungsgruppe=Web Science
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Sicherheit
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Vernetzte Daten
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Blockchain
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Semantic Web
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Semantische Technologien
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Solid
 }}