Projektbeschreibung
Fortgeschrittene Werkzeuge für sicherere digitale Systeme
Cyberangriffe wie etwa Ransomware und Datenlecks nehmen immer raffiniertere Formen an und gefährden damit kritische Systeme. Zwar gibt es Werkzeuge, die digitale Protokolle analysieren und absichern, doch stoßen diese oft an ihre Grenzen, wenn es um komplexe Szenarien geht, bei denen Wahrscheinlichkeiten involviert sind. So beruhen beispielsweise Protokolle zur Abstandsbegrenzung und die elektronische Stimmabgabe auf subtilen probabilistischen Verhaltensweisen, die bei den gegenwärtig üblichen Methoden häufig übersehen werden. Diese Lücke birgt das Risiko, dass Schwachstellen unbemerkt bleiben. Das Team des ERC-finanzierten Projekts VePaSS wird Ideen aus den Bereichen Sicherheit, Spieltheorie und Symbolverarbeitung zusammenführen, um intelligentere Werkzeuge zur Bewältigung dieser Herausforderungen zu entwickeln. Neue praktische Werkzeuge werden komplexe stochastische Protokolle automatisch überprüfen. Die Projektergebnisse werden für sicherere digitale Systeme und mehr Vertrauen in die Technologien sorgen, auf die wir täglich zählen.
Ziel
Critical digital infrastructure is increasingly threatened by attacks such as payment fraud, data breaches, and ransomware. Formal methods have been developed to rigorously analyse security protocols, which are the backbone of current digital security. Notably, automated tools, such as ProVerif, have been vital in analysing real-world protocols including TLS and Signal.
A significant limitation in current formal methods stems from abstracting probabilistic behaviours to simplify the analysis. This leads to oversights in cases involving non-negligible probabilities, such as reasoning about distance-bounding protocols and electronic voting. Meanwhile probabilistic verification has been an active field for the past two decades, particularly in relation to cyber-physical systems and network protocols. Verification of security systems does not yet benefit from these advances, yielding a significant blind spot: modern security protocols with probabilistic behaviours and complex threat models remain vulnerable to undetected security flaws.
The VePaSS project aims to build new interdisciplinary connections between security, games and symbolic computation, to address the ambitious goal of verifying probabilistic security systems. The primary challenge in such an integration is that algorithmic game theory has predominantly concentrated on finite stochastic games, whereas security protocols, when represented symbolically, are inherently infinite. We seek to leverage recent breakthroughs in countable stochastic games and symbolic computation to develop a unified model and to design decision procedures and practical tools for the automatic verification of complex stochastic protocols such as electronic voting and distance-bounding protocols. The project has a strong scientific impact by addressing open problems in verification and symbolic computation, economic impact by enhancing the security of digital systems, and societal impact through its work on electronic voting.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
HORIZON.1.1 - European Research Council (ERC)
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
HORIZON-ERC-SYG - HORIZON ERC Synergy Grants
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) ERC-2025-SyG
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenGastgebende Einrichtung
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
OX1 2JD Oxford
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.