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
This project focuses on enhancing the security of digital communications by developing verification techniques for various protocols, including e-voting and routing. It aims to provide robust security guarantees and modular design principles to improve the resilience of network-based systems against potential attacks.
Security protocols are short distributed computer programs dedicated to securing communications on digital networks.
They are designed to achieve various goals such as data privacy and data authenticity, even when communication channels are controlled by malicious users.
Their increasing penetration in many important applications makes it a very important research challenge to design and establish security properties.
In the last decade, formal approaches and automated verification techniques ha…
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
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 topics.
