There are 3 Results with the keyword : "Claude Castelluccia"
CryptoMiniSat, software for verification of software or complex hardware architectures, won first prize at the SAT Race 2010 international competition.
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.
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.