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 date||1/01/23 → 31/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.