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

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.