Inria Joint Center

2021年3月1日

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…

2019年10月3日

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…

2019年4月5日

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.

2019年4月2日

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

2019年4月2日

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…

2019年1月30日

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…

2019年1月24日

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…

2018年11月6日

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…

2018年6月21日

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…