Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design

01.01.2023 - 31.12.2030
Research funding project

People

Project leader

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) Special Research Program (SFB) Austrian Science Fund (FWF)

Research focus

  • Logic and Computation: 100%

External partner

  • TU Graz
  • Institute of Science and Technology Austria
  • Universität Wien
  • Universität Klagenfurt

Publications