Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design

01.01.2023 - 31.12.2030
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

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

Forschungsschwerpunkte

  • Logic and Computation: 100%

Externe Partner_innen

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

Publikationen