INRIA
Founded Year
1967About INRIA
INRIA, the French National Institute for computer science and applied mathematics, promotes "scientific excellence for technology transfer and society." Graduates from the world's top universities, Inria's 2,700 employees rise to the challenges of digital sciences. With its open, agile model, Inria is able to explore original approaches with its partners in industry and academia and provide an efficient response to the multidisciplinary and application challenges of the digital transformation.
Missing: INRIA's Product Demo & Case Studies
Promote your product offering to tech buyers.
Reach 1000s of buyers who use CB Insights to identify vendors, demo products, and make purchasing decisions.
Missing: INRIA's Product & Differentiators
Don’t let your products get skipped. Buyers use our vendor rankings to shortlist companies and drive requests for proposals (RFPs).
INRIA Patents
INRIA has filed 11 patents.
The 3 most popular patent topics include:
- 3D cinema
- 3D computer graphics
- 3D imaging
Application Date | Grant Date | Title | Related Topics | Status |
|---|---|---|---|---|
6/6/2018 | 2/7/2023 | Autonomous cars, Geodesy, 3D computer graphics, Computer vision, Industrial computing | Grant |
Application Date | 6/6/2018 |
|---|---|
Grant Date | 2/7/2023 |
Title | |
Related Topics | Autonomous cars, Geodesy, 3D computer graphics, Computer vision, Industrial computing |
Status | Grant |
Latest INRIA News
Feb 24, 2023
A technical paper titled “ProSpeCT: Provably Secure Speculation for the Constant-Time Policy (Extended version)” was published by researchers at imec, CEA, List, Université Paris Saclay and INRIA. Abstract: “We propose ProSpeCT, a generic formal processor model providing provably secure speculation for the constant-time policy. For constant-time programs under a non-speculative semantics, ProSpeCT guarantees that speculative and out-of-order execution cause no microarchitectural leaks. This guarantee is achieved by tracking secrets in the processor pipeline and ensuring that they do not influence the microarchitectural state during speculative execution. Our formalization covers a broad class of speculation mechanisms, generalizing prior work. As a result, our security proof covers all known Spectre attacks, including load value injection (LVI) attacks. In addition to the formal model, we provide a prototype hardware implementation of ProSpeCT on a RISC-V processor and show evidence of its low impact on hardware cost, performance, and required software changes. In particular, the experimental evaluation confirms our expectation that for a compliant constant-time binary, enabling ProSpeCT incurs no performance overhead.” Find the technical paper here . February 2023. Technical report for paper accepted at The 32nd USENIX Security Symposium (2023). Authors: Daniel,Lesly-Ann; Bognar, Marton; Noorman,Job; Bardin, Sébastien; Rezk, Tamara; Piessens, Frank. arXiv:2302.12108v1
INRIA Frequently Asked Questions (FAQ)
When was INRIA founded?
INRIA was founded in 1967.
Where is INRIA's headquarters?
INRIA's headquarters is located at Domaine de Voluceau, Le Chesnay.
Discover the right solution for your team
The CB Insights tech market intelligence platform analyzes millions of data points on vendors, products, partnerships, and patents to help your team find their next technology solution.