Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design
01.01.2023 - 31.12.2030
Forschungsförderungsprojekt
Personen
Projektleiter_in
Laura Kovacs
(E192-04)
Matteo Maffei
(E192-06)
Institut
E192-04 - Research Unit of Formal Methods in Systems Engineering
E192-06 - Research Unit of Security and Privacy
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
Publikationsliste