Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Formal Methods for Secure Blockchain-Oriented Programming
01.03.2025 - 28.02.2030
Forschungsförderungsprojekt
Personen
Projektleiter_in
Matteo Maffei
(E192-06)
Subprojektmanager_innen
Victoria Buchsbaum
(E192-06)
Institut
E192-06 - Forschungsbereich Security and Privacy
Förderungmittel
European Commission (EU)
ERC Advanced Grant
ERC Europäischer Forschungsrat
HORIZON I - Herausragende Wissenschaft
Rahmenprogramm HORIZON EUROPE
Europäische Kommission
Ausschreibungskennung ERC-2023-ADG
Forschungsschwerpunkte
Logic and Computation: 100%
Publikationen
Publikationsliste