Detailsuche
Einzelne Suchbegriffe mit Leerzeichen trennen (ODER-Verknüpfung). Anführungszeichen benutzen um nach exakten Phrasen zu suchen.
Projekte
Stipendien
Science
Blog
Personen
Stipendien Förderjahr 2022 Stipendien Call #17 ID: 6321

Automated Verification of Game-Theoretic Security Properties for Decentralized Protocols

Projektklassifikation:

Dissertation | PhD

Projektergebnisse:

Zwischenbericht, Paper, Paper, Paper, Endbericht, Summary