Inria Chile continues its development in South America. In recent years, with Claude Puech at the helm, she has strengthened her network of contacts and has set up partnerships with investment structures to accelerate the creation of strategies in Chile. Appointed on September 1st as Director, Nayat Sanchez Pi intends to pursue this strategy and implement an ambitious settlement project that includes opening to French partners, the revitalization of the transfer policy and the establishment of a sustainable economic model.

Thirty years ago, the Web was set up to meet an ever-growing need to organise and access information. As a founding member for Europe of the W3C, Inria take a look back at the birth of the Web as both a research subject and a tool, assessing the problems that continue to be raised.

Capitalizing on five years of research-collaboration success, Mitacs and Inria renewed their partnership originally signed in 2014. The memorandum of understanding (MOU) supports two-way international research opportunities for graduate researchers at Canadian universities and at eight Inria Research Centres in France.

The CNIL (French Data Protection Authority) and Inria have awarded the 2017 "privacy protection" Prize to a European research team. During the 11th international conference Computers Privacy and Data Protection
(CPDP) to Seda GÜRSES, Carmela TRONCOSO and Claudia DIAZ for their article « Engineering privacy by design reloaded
».

The CCSD (Centre for Direct Scientific Communication) and Software Heritage have announced their collaboration beginning early 2018: it will enable the data repository in HAL to be extended to software and, as a result, contribute to the recognition of the work of research software developers.

Facebook is investing an additional 10 million Euros and doubling the Facebook AI Research (FAIR) team in order to accelerate research on artificial intelligence in France. As a result, Facebook's European hub is strengthening its partnership with Inria.

Facebook is investing an additional 10 million Euros and doubling the Facebook AI Research (FAIR) team in order to accelerate research on artificial intelligence in France. As a result, Facebook's European hub is strengthening its partnership with Inria.

InriaSoft aims for the durable development of large-scale software programs by bringing together their user communities within consortia that will finance a team of engineers tasked with their maintenance and evolution. The InriaSoft headquarters are based in Rennes, as Claude Labit, director, and David Margery, technical director of this national action backed by the Fondation Inria, explain.

Three Inria researchers have received the 39th Symposium on Security and Privacy “Distinguished Paper Award”

Vincent, Steve and Itsaka received the Distinguished Paper Award during the 39th IEEE Symposium on Security and Privacy, which took place in San Francisco from 21-23 May.

Within the Pesto team Vincent Cheval, Inria researcher, Steve Kremer, Inria research director and head of the team - a joint team between Inria and the Lorraine Research Laboratory for Computer Science and its Applications (Loria) - and Itsaka Rakotonirina, Inria PhD student, work on the security of cryptographic protocols. These protocols are programs that secure our transactions on the Internet and, more generally, our communications. “For example, when I buy something using my bank card, I want to be sure that its number is not circulating unencrypted and that I am definitely connected to the website I expect”, Steve explains. To obtain such guarantees, cryptographic tools like encryption or electronic signatures are used in order to guarantee certain properties such as confidentiality or authentication.

The prize-winning work focuses on the automatic analysis of cryptographic protocols, and more specifically the DEEPSEC tool. Unlike most verification tools, DEEPSEC enables the verification of privacy properties such as anonymity or untraceability. The tool puts in place algorithms capable of automatically proving the absence of errors in a security protocol's structure or, where necessary, revealing breaches. Another originality of the work is that they have managed to quantify the quality of their solution: do we have the best possible solution? In actual fact, a mathematical tool exists that enables the quantification of the inherent difficulty of a problem: computational complexity. For the problem studied, they have therefore been able to demonstrate that there were no analytical methods significantly more effective than DEEPSEC.

These articles could interest you:

Share

Biographies :

Steve Kremer:
Following studies in computer science in Belgium, he spent a post-doctoral year at the University of Birmingham in England. On his return he joined the Inria Saclay centre, within the SECSI team, which works on information systems security, before joining the Inria Nancy - Grand Est research centre in 2011.

Vincent Cheval:
Following a PhD at ENS Cachan, he studied post-doctoral degrees at the University of Birmingham and at Inria Nancy. He then became a lecturer at the University of Kent, in England, before being recruited by Inria in 2015 as a researcher.

Itsaka Rakotonirina:
He works on information security. Following a master's in fundamental computer science at ENS Cachan, he did his end-of-studies internship with Steve, which made him want to continue with a PhD at the Inria Nancy - Grand Est research centre.