Skip to main content
Go to the home page of the European Commission (opens in new window)
English en
CORDIS - EU research results
CORDIS

Deep-sec: A Deep-tech Foundation for Trusted Clouds

Objective

Critical-sector organizations in Europe currently rely on IT solutions that lack transparency and are governed by non-European jurisdictions. A central element of these systems is Virtual Machines (VMs), managed by hypervisors like VMware. After speaking with over 50 organizations, we found a clear demand for secure, neutral, and privacy-focused alternatives to legacy hypervisors.

Neutrality is a deep-tech startup from EPFL developing a breakthrough hypervisor. Backed by €2.8M in seed funding from European investors, our team brings over two decades of experience in systems security, with hundreds of publications and multiple best paper awards. We have co authored the OKL4, seL4, and Barrelfish microkernels; and co-founded Open Kernel Labs, which was acquired by General Dynamics in 2012, and led to OKL4 shipping in billions of mobile devices, including iPhones. Our Advisory Board includes a Turing Award recipient, the co-inventors of seL4 and Barrelfish, and B2B unicorn founders who are advising us on Neutrality’s Go-to Market.

We are developing a secure, neutral, and transparent alternative to VMware, tailored for European critical sectors. Unlike legacy hypervisors, which are prone to security flaws, we use formal verification to mathematically prove the absence of vulnerabilities. Our patent-pending multikernel architecture offers orders of magnitude more security without compromising performance. We have filed five pending patents and one PCT application, with plans for additional filings in key markets.

With over one year of runway, we seek support from the EIC Accelerator to de-risk our technology. We seek funding to ensure we can reduce technological risks in the first year, positioning us for investment in year two. Support from the EIC will help us achieve these goals and accelerate our market entry. Our technology has reached TRL6 with our prototype proposed to be demonstrated in the operational environments of early adopters in 2026.

Fields of science (EuroSciVoc)

CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.

This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service

You need to log in or register to use this function

Programme(s)

Multi-annual funding programmes that define the EU’s priorities for research and innovation.

Topic(s)

Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.

Funding Scheme

Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.

HORIZON-EIC-ACC - HORIZON EIC Accelerator

See all projects funded under this funding scheme

Call for proposal

Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.

(opens in new window) HORIZON-EIC-2025-ACCELERATOR-02

See all projects funded under this call

Coordinator

Neutrality Sarl
Net EU contribution

Net EU financial contribution. The sum of money that the participant receives, deducted by the EU contribution to its linked third party. It considers the distribution of the EU financial contribution between direct beneficiaries of the project and other types of participants, like third-party participants.

€ 2 499 000,00
Address
Rue du Rhone 65
1204 Genève
Switzerland

See on map

SME

The organization defined itself as SME (small and medium-sized enterprise) at the time the Grant Agreement was signed.

Yes
Region
Schweiz/Suisse/Svizzera Région lémanique Genève
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Links
Total cost

The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.

No data