Sites Inria

There are 3 Results with the keyword : "Claude Castelluccia"

Illustration Codage


Verification of complex systems

Marie Collin - 28/09/2010

CryptoMiniSat, software for verification of software or complex hardware architectures, won first prize at the SAT Race 2010 international competition.


Home > Centre > Grenoble > News > Vérification systèmes complexes


© Inria / Photo H. Raguet Inria / Photo H. Raguet


European prize CNIL-Inria

Sarah Alzieu - 29/01/2016

Inria and the CNIL (the French data protection authority) have just launched a European prize to recognise scientific papers on the subject of data protection and privacy. Within the framework of the partnership agreement signed in 2011 between Inria and the CNIL, the prize will serve to promote research on data protection. It will raise awareness throughout the scientific community of the need to develop research projects related to these subjects.


Home > News > News from Inria > Prix européen CNIL - Inria



Algorithmic decision making : opportunities and risks for society

SCM Grenoble - 25/06/2019

An interview with Claude Castelluccia and Daniel Le Métayer (Inria - PRIVATICS) on the report that they recently presented to the European Parliament (at the request of the STOA - Science and Technology Options Assessment) on the risks and opportunities involved with decision support algorithms.
The work carried out by our two researchers is also set against the backdrop of the recent launch of the 3IA Institutes in France, and the desire on the part of the French government to strengthen initiatives within the “AI for humanity” programme.


Home > Centre > Grenoble > News > Outils de décision automatique : opportunités et risques pour nos sociétés