CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The VePaSS project aims to enhance the security of digital systems by verifying probabilistic security protocols. By integrating concepts from game theory and symbolic computation, it seeks to develop tools for analyzing complex protocols, thereby addressing vulnerabilities in modern security systems.
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.
Th…
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
