Descrizione del progetto
Strumenti avanzati per sistemi digitali più sicuri
Gli attacchi informatici, come il ransomware e le violazioni dei dati, stanno diventando sempre più sofisticati, mettendo a rischio i sistemi critici. Sebbene esistano strumenti in grado di analizzare e proteggere i protocolli digitali, spesso si rivelano insufficienti quando si tratta di gestire scenari complessi che coinvolgono le probabilità: ad esempio, i protocolli di delimitazione della distanza e il voto elettronico si basano su comportamenti probabilistici sfuggenti che i metodi attuali tendono a trascurare, dando origine a una lacuna da cui deriva l’impossibilità di osservare alcune vulnerabilità. Il progetto VePaSS, finanziato dal CER, unirà concetti provenienti dai settori della sicurezza, della teoria dei giochi e del calcolo simbolico per sviluppare nuovi strumenti più intelligenti in grado di affrontare queste sfide, che verificheranno automaticamente protocolli stocastici complessi. I risultati del progetto garantiranno la creazione di sistemi digitali più sicuri e una maggiore fiducia nelle tecnologie di cui ci avvaliamo quotidianamente.
Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Parole chiave
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMMA PRINCIPALE
Vedi tutti i progetti finanziati nell’ambito di questo programma
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
HORIZON-ERC-SYG - HORIZON ERC Synergy Grants
Vedi tutti i progetti finanziati nell’ambito di questo schema di finanziamento
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
(si apre in una nuova finestra) ERC-2025-SyG
Vedi tutti i progetti finanziati nell’ambito del bandoIstituzione ospitante
Contributo finanziario netto dell’UE. La somma di denaro che il partecipante riceve, decurtata dal contributo dell’UE alla terza parte collegata. Tiene conto della distribuzione del contributo finanziario dell’UE tra i beneficiari diretti del progetto e altri tipi di partecipanti, come i partecipanti terzi.
OX1 2JD Oxford
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.