Loria

Name

Loria

Legal name

LORIA Laboratoire lorrain de recherche en informatique et ses applications UMR 7503

Website

https://loria.fr

Company type

Private

Founded year

1976

Operating status

Operating

Headcount range

101–250 employees

Ownership category

akta.pro rank

Product category

Computer Science Research

NAICS

Scientific Research and Development Services (5417), Computer Systems Design and Related Services (54151), Research and Development in the Physical, Engineering, and Life Sciences (54171), Professional, Scientific, and Technical Services (54)

SIC

Services-Computer Integrated Systems Design (7373), Services-Management Consulting Services (8742)

akta.pro primary industry

Comprehensive Doctoral Research Universities (Multi-Disciplinary) (EDAHABAA)

akta.pro secondary industry

Research Administration & Grants Management Support (Pre/Post-Award, Compliance) (EDAEALAO)

Keywords

• Computer science research
• Cybersecurity research
• Artificial intelligence research
• Formal methods research
• Natural language processing

Headquarters

HQ city

Vandoeuvre-lès-nancy

HQ country

France

HQ region

Europe

Offices1 record

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Operations, Infrastructure

Revenue model

1. Public Research Funding: Loria operates as a public research institution funded by national research organizations including CNRS, Inria, and Université de Lorraine. Core operational funding comes from these public institutions.
2. Research Grants and Projects: Loria receives funding through French national projects (ANR, PEPR), European projects (ERC grants, Horizon Europe), and regional funding (FEDER, Region Grand Est).
3. CIFRE Industrial Partnerships: CIFRE doctoral conventions provide funding from companies that employ researchers collaborating with Loria labs. Companies receive tax benefits while funding collaborative research.
4. ERC Synergy Grant: Competitive European Research Council funding for groundbreaking research projects, such as the VePaSS project led by Véronique Cortier (up to 10 million euros over six years).

Go-to-market motion2 records

Distribution channels3 records

Marketing channels6 records

Core offering

Loria is a French public research laboratory (UMR 7503) jointly operated by CNRS, Inria, and Université de Lorraine that conducts fundamental and applied computer science research across cybersecurity, artificial intelligence, formal methods, natural language processing, distributed systems, and human-centered robotics. It operates through over 20 specialized research teams organized into five departments, develops proprietary research tools (Tamarin Prover, Belenios, GoaTracer), and runs national and European research programs. It also delivers CIFRE industrial PhD partnerships and provides access to specialized research infrastructure such as the High Security Laboratory (LHS).

Product overview

Loria is a major French computer science research laboratory (UMR 7503) jointly operated by CNRS, Inria, and Université de Lorraine in Nancy, France. Rather than commercial products, Loria offers research capabilities, tools, and platforms developed through its 50+ research teams organized into five departments: Algorithmics/Computing/Image/Geometry (D1), Formal Methods (D2), Networks/Systems/Services (D3), Language Processing/Knowledge (D4), and Complex Systems/AI/Robotics (D5). Key offerings include the DefMal cybersecurity research program, the Belenios e-voting platform, the Tamarin Prover for security protocol verification, GoaTracer for malware analysis, and the High Security Laboratory (LHS) infrastructure. Research teams like CARBONE (malware analysis), LORELEY (distributed collaborative systems), and Hucebot (human-centered robotics) drive innovation across AI, cybersecurity, NLP, and formal methods. Loria also supports innovation through CIFRE PhD programs and various EU-funded projects including VePaSS, ENSEMBLE, and GODZILLA.

Differentiator

Problem solved

Functional benefit

Products and services

• Tamarin Prover Formal verification tool for security protocols developed in collaboration with ETH Zurich and CISPA, used by researchers and security engineers for cryptographic protocol analysis.
• Belenios

Quantifiable outcome

• ERC Synergy Grant 2025 of up to 10 million euros over 6 years for VePaSS project
• +2 more outcomes

Named customers1 record

Segments3 records

Ideal customer profiles3 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

AI capability13 records

Feature6 records

Scale indicators5 records

Recent moves6 records

Expansion highlights6 records

Broad incumbents

• Inria: Inria is Loria's parent institution and France's national computer science research organization. It operates multiple research centers with comparable themes (AI, formal methods, distributed systems), making it the closest direct institutional peer.
• Fraunhofer Society: Germany's leading applied research organization operates numerous CS, AI, and cybersecurity institutes with a similar publicly funded, industry-partnered model. Comparable in mission and structural setup to Loria's UMR framework.
• CEA: The French Alternative Energies and Atomic Energy Commission runs significant digital systems and cybersecurity research (CEA List). It is comparable to Loria as a French public research operator with applied CS and security mandates.
• CNRS: CNRS is Loria's other parent institution and France's largest public research organization, hosting numerous CS-related UMRs across the country. It is the closest functional peer in terms of multi-disciplinary public research governance and scale.
• Max Planck Institutes: Max Planck operates basic research institutes including the Max Planck Institute for Informatics and for Software Systems. It mirrors Loria's model of publicly funded, multi-disciplinary fundamental research with high international prestige.

Direct peers

• ETH Zurich Computer Science Department: ETH Zurich's CS department conducts world-class research in cybersecurity, formal methods, and distributed systems - notably co-developed the Tamarin Prover with Loria. Highly comparable in research output and prestige.
• MIT CSAIL: MIT's Computer Science and Artificial Intelligence Laboratory is a top global CS research lab covering AI, formal methods, robotics, NLP, and security. Directly comparable to Loria in research scope and disciplinary breadth.
• CISPA Helmholtz Center for Information Security: Germany's national CISPA is a leading cybersecurity research center that co-developed the Tamarin Prover with Loria researchers. Directly comparable in cybersecurity research focus and international standing.

Regional players

• INSA Lyon: INSA Lyon is a major French engineering school with significant CS, AI, and cybersecurity research activity. Comparable to Loria as a regional French CS research and training institution.
• Telecom Paris: Telecom Paris is a leading French engineering school focused on digital sciences, cybersecurity, and AI research. Comparable to Loria in French CS research scope and industrial partnership model.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat4 records

Key risks6 records

Key highlights7 records

Customer concentration

• YouTubeyoutube.com/channel/UCoiRtmATjb6J8Ejc74_UK7w
• LinkedInlinkedin.com/company/loria
• Xx.com/labo_loria

Revenue estimate

Valuation estimate

Number of profiles

Profiles10 records

Subsidiaries3 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Loria