Inria Joint Center
Nouvelles et reportages
Dans l’actualité | Inria blog
Inria: helping to modernise income tax calculations with Mlang
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…
Dans l’actualité | Microsoft News Center – Switzerland
Mixed Reality & AI Zurich Lab – a Lab is born
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…
Dans l’actualité | Computer Business Review
Microsoft’s New Cryptography Suite is “Mathematically Certain” to be Secure
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.
Dans l’actualité | Quanta Magazine
Cryptography That Can’t Be Hacked
Researchers have just released cryptographic code with the same level of invincibility as a mathematical proof.
Dans l’actualité | Jonathan Protzenko Blog
The EverCrypt verified cryptographic provider
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…
Dans l’actualité | CyLab
Building a verifiably-secure internet
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…
Dans l’actualité | Jonathan Protzenko Blog
Generating C code that people actually want to use
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…
Dans l’actualité | LWN.net
Zinc: a new kernel cryptography API
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…
Dans l’actualité | Microsoft News Centre Europe
Microsoft and Inria strengthen their partnership to accelerate the adoption of Artificial Intelligence in France
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…