Section: Other Grants and Activities
The FMCRYPTO project (for “Formal Methods for Cryptographically Secure Distributed Computations”) is funded by the STIC-AmSud programme for 2 years, starting January 2009. The partners of this project are the Indes team at INRIA (coordinator), Universidade Estadual de Campinas in Brazil, Universidad de Chile in Chile, and Universidad de la Republica in Uruguay.
COLOR project MATYSS
The one-year project MATYSS (Models And TYpes for Secure Sessions) is funded by the INRIA Sophia Antipolis COLOR programme. The partners of this project are the team Indes (coordinator) and the “Semantics and Logic of Computation” group at the Computer Science Department of the University of Torino.
ANR SETIN ParSec
The ParSec project (for “Parallélisme et Sécurité”) has been funded by the ANR Sécurité Informatique programme for 4 years, starting January 2007. The partners of this project are the teams Indes formerly Mimosa (coordinator) and Everest at INRIA Sophia Antipolis, Lande at IRISA, Moscova at INRIA Rocquencourt and Concurrency at the PPS Laboratory of Paris 7 University and CNRS.
ANR DEFIS ParTout
The PARTOUT project (PARTOUT = PARallélisme parTOUT) is funded by the ANR DEFIS programme for 4 years, starting January 2009 (ANR-08-EMER-010). The partners of this project are the teams Indes (coordinator), CNAM/Cédric, and LRI, Université d'Orsay.
ANR DEFIS PWD
The Pwd project (for "Programmation du Web diffus") has been funded by the ANR Défis programme for 4 years, starting November 2009. The partners of this project are the teams Indes (coordinator), Lip6 at University Pierre et Marie Curie and Pps at University Denis Diderot.