Section: Partnerships and Cooperations

European Initiatives

FP7 & H2020 Projects

• ProSecure (2011-2016) (http://prosecure.loria.fr)— ERC Starting Grant Project on Provably secure systems: foundations, design, and modularity. The long-term aim of the project is to develop provably secure systems such as security protocols. The goal is to propose foundations for a careful analysis and design of large classes of up-to-date protocols. To achieve this goal, the project is structured in three main tasks. First, we develop general verification techniques for new classes of protocols that are of primary interest in nowadays life like e-voting protocols, routing protocols or security APIs. Second, we consider the cryptographic part of the primitives that are used in such protocols (encryption, signatures, ...), obtaining higher security guarantees. Third, we propose modular results both for the analysis and design of protocols. Véronique Cortier is the leader of the project.

• SPOOC (2015–2020) (https://members.loria.fr/SKremer/files/spooc/index.html)— ERC Consolidator Grant on Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols.

  The goals of the Spooc project are to develop solid foundations and practical tools to analyze and formally prove security properties that ensure the privacy of users as well as techniques for executing protocols on untrusted platforms. We will

  • develop foundations and practical tools for specifying and formally verifying new security properties, in particular privacy properties;

  • develop techniques for the design and automated analysis of protocols that have to be executed on untrusted platforms;

  • apply these methods in particular to novel e-voting protocols, which aim at guaranteeing strong security guarantees without need to trust the voter client software.

  Steve Kremer is the leader of the project.