Inria Joint Center

March 1, 2021

After Etalab helped them to get things off the ground back in 2016, and through close collaboration with the Direction Générale des Finances Publiques (the French public finance department), three researchers, among them Denis Merigoux (from Inria Paris), were given…

October 3, 2019

In the first week of October, the eyes of the European computer vision community were on Zurich where Microsoft launched the Mixed Reality & AI Zurich Lab. The Lab is led by Professor Marc Pollefeys who has a joint appointment…

April 5, 2019

Microsoft has released a new cryptographic provider – an independent software module that performs cryptography algorithms for authentication, encoding, and encryption – and cryptographic library that it describes as capable of guaranteeing with “mathematical certainty” that communications will be secure.

April 2, 2019

Researchers have just released cryptographic code with the same level of invincibility as a mathematical proof.

April 2, 2019

Today, we’re announcing a preview release of EverCrypt, a verified cryptographic provider that offers a comprehensive collection of cryptographic algorithms. EverCrypt automatically selects the best available implementation for your platform (C or assembly); offers unified APIs for families of algorithms…

January 30, 2019

In security, almost nothing is guaranteed. It's impossible to test the infinite ways a criminal hacker may penetrate a proverbial firewall. But what if, by the laws of mathematics, something could be proven to be secure without running an infinite…

January 24, 2019

Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is…

November 6, 2018

We looked at the WireGuard virtual private network (VPN) back in August and noted that it is built on top of a new cryptographic API being developed for the kernel, which is called Zinc. There has been some controversy about…

June 21, 2018

After more than ten years of collaboration in a joint research partnership, Microsoft and Inria (National Institute for Research in Digital Sciences) have launched phase four of their initiative, with one key goal – to accelerate the deployment and adoption…