Special Research Area (SFB) F85 Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design (FWF - SPyCoDe)

Project: Research project

Project Details


SPyCoDe aims at creating the technological foundations for the design of complex, multi-layer systems with provable S&P guarantees. This goal is highly interdisciplinary, integrating computer-aided verification, system security, and cryptography, and touching on further fields, like networks, game theory, and blockchains.
Effective start/end date1/01/2331/12/26


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.