Section: Contracts and Grants with Industry
Contracts with Industry

We participate in the common laboratory between INRIA and Microsoft Research, in the Collaborative research actions “Mathematical components” and “Secure Distributed Computations and their Proofs”. Other participants in the first collaboration are the INRIA projectteams TYPICAL and PROVAL. The goals are to study finite group theory and efficient arithmetics. In the second collaboration, other participants are the INRIA teams INDES and MOSCOVA. We focus on formal proofs for computational Cryptography.

We collaborate with the CEA to develop FramaC which is a suite of tools dedicated to the analysis of the source code of software written in C.