Starting projects :rocket:

  • SFB SpyCode principal co-investigator, Start 2023. SPyCoDe (Semantic and Cryptographic Foundations for Security and Privacy by Compositional Design) will deliver methods and tools to compositionally analyze and design complex systems, with a focus on cross-layer security for computer architectures and blockchain technologies.

Previous projects :thumbsup:

  • 2021 - 2025: Mozaik SBO scientific co-investigator.
  • 2019 - 2021: HAI – SCS ICON project writing collaborator.
  • Participation in the EU funded PRACTICE , HEAT, EUNITY, and PANORAMIX projects.