Spezialforschungsbereich (SFB) F85 Semantische und kryptographische Grundlagen von Sicherheit und Datenschutz durch Compositional Design (FWF - SPyCoDe)

Projekt: Forschungsprojekt

Projektdetails

Beschreibung

Ziel von SPyCoDe ist es, die technologischen Grundlagen für den Entwurf komplexer, mehrschichtiger Systeme zu schaffen mit nachweisbaren S&P-Garantien. Dieses Ziel ist sehr interdisziplinär und integriert computergestützte Verifizierungssysteme, Sicherheit und Kryptografie und berühren weitere Felder wie Netzwerke, Spieltheorie und Blockchains.
StatusLaufend
Tatsächlicher Beginn/ -es Ende1/01/2331/12/26

Fingerprint

Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.