Section: Other Grants and Activities
DGA/CELAR (Centre d'Electronique de l'Armement): Provable security of cryptosystems.
Participants : Pierre-Alain Fouque, Georg Fuchsbauer, Gaëtan Leurent, David Pointcheval.
From January 2007 to April 2009.
The goal of the contract is to make a survey on the methods and techniques used in provable security, for both cryptographic primitives and protocols.
ARA FORMACRYPT: Formal security proofs for cryptographic protocols.
Participant : David Pointcheval.
From January 2006 to December 2009.
Partners: INRIA/Abstraction, INRIA/Secsi, INRIA/Cassis.
The verification of cryptographic protocols is a very active research area. Most works on this topic use either the computational approach, in which messages are bit strings, or the formal approach, in which messages are terms. The computational approach is more realistic but more difficult to automate. The goal of our project is to bridge the gap between these two approaches.
ARA CrySCoE (Cryptographie pour la Sécurité des Codes Embarqués)
Cryptography for the security of embedded systems.
Participants : David Naccache, David Pointcheval.
From January 2006 to June 2009.
Partners: UVSQ/Prism, Univ. Bordeaux I/LaBRI.
The goal of this project is to provide security and confidence to embedded systems: privacy of the code (obfuscation), integrity and authenticity of the code, security proof of correctness of the code (formal methods).