Neutrality Steers EIC Accelerator Money to a Verified Hypervisor

A hypervisor is the layer of software that splits one physical server into many virtual machines, and Europe's critical-sector organisations run theirs on products like VMware that lack transparency and are governed by non-European jurisdictions, in the words of one Geneva company's EU project summary. Neutrality, a Geneva company that describes itself as a deep-tech start-up from EPFL, is building a replacement whose central promise is mathematical: a formal proof that workloads sharing a machine cannot reach each other's data.

The EIC Accelerator selected the project, DEEP-SEC, from the 1 October 2025 cut-off for blended finance. CORDIS records an EU contribution of €2,499,000, a grant agreement signed by the Commission on 29 May 2026, and a 24-month project running from 1 June 2026 to 31 May 2028. Five months into that period, this article sets out what the project promised and what can already be checked.

A hypervisor with a proof attached

Neutrality's website says it replaces "millions of lines of opaque legacy code" with a "mathematically verifiable core" and partitions software at the hardware level across multicore processors. The CORDIS summary, written by the company, describes a patent-pending multikernel architecture and says formal verification is used to "mathematically prove the absence of vulnerabilities", with five pending patents and one PCT application.

The foundation is public. Talk listings at the University of Cambridge on 17 April 2026 and the University of Edinburgh on 4 May 2026, both given by David Cock of Neutrality, describe the product, Atoll, as a "formally-verified, secure, European-sovereign virtualisation and cloud hosting platform" that builds on seL4, an open-source microkernel known for its comprehensive formal verification. The Edinburgh abstract says Atoll will extend seL4's integrity proof to virtual machines that share hardware while handling sensitive or regulated data. A proof of that kind covers what it is stated for; no statement of which properties Atoll's proofs will cover, or on which hardware, could be found on the company site or in the talk listings.

From humanitarian data to cloud infrastructure

The register shows a company older than its current product. Its entry in Zefix, the federal index of the Swiss commercial registers, gives a purpose centred on protecting the sensitive digital data of individuals and organisations, "en particulier des organisations humanitaires et organisations à but non lucratif", and on financing research into software robust against attacks on them. No later gazette entry amends that purpose. It matches Le Blond's research at EPFL: a 2018 paper on the computer security of the International Committee of the Red Cross, listed in EPFL's repository, won a Distinguished Paper Award at the IEEE Symposium on Security and Privacy, EPFL reported.

The register entries since then are routine: a move to Rue du Rhône 65 in November 2022, a new address care of an accounting association in Les Acacias in May 2026, the removal of a director's signing powers in July 2026, and on 8 September 2026 the end of the company's opt-out from a limited audit, with GAS Global Audit Services SA appointed as auditor. No insolvency, name change or capital increase is published in the register's gazette entries.

What money is on the record

The sources disagree on Neutrality's private funding. The project summary in CORDIS says the company is "backed by €2.8M in seed funding from European investors" and has more than a year of runway. The company's own About page, read on 28 October 2026, says it has raised no private equity round to date and that early development was funded by non-dilutive grants from Eurostars, Innosuisse and the Migros Pioneer Fund. No investor has been named in any source found, and no Eurostars or Innosuisse project for the company could be found by name in public searches.

The same page calls the EIC grant part of a €10 million blended package that includes "a future matching equity component" managed by the EIC Fund. CORDIS records only the grant. No EIC Fund investment in Neutrality has been announced by the company or the EIC, and the equity side of the package stays a commitment in principle until one is.

A Swiss company back in the EIC

The award is also a marker of Switzerland's return. The EU and Switzerland signed the agreement associating Switzerland with Horizon Europe on 10 November 2025, with effect from 1 January 2025, and projects from 2025 calls are funded directly by the Commission, Euresearch, the Swiss contact point, states; the University of Fribourg notes that Swiss applicants can now sign agreements for positively evaluated 2025 proposals. The EIC received 923 full applications for the October 2025 cut-off, and its results of 17 February 2026 selected 61 companies from 121 interviews. Neutrality is one of four Swiss companies on the published list, alongside DePoly, Pregnolia and Verity.

The policy case is the one the company makes for itself. Its website pitches digital sovereignty and less dependence on foreign vendors to data centre and cloud operators, and says its product could shield management from personal liability under the EU's NIS2 directive, the DORA regulation for financial services and the Cyber Resilience Act. That last point is the company's sales argument, not a legal finding: no regulator's assessment of Atoll under any of the three laws could be found.

What the project promised

The CORDIS summary sets two concrete aims: to reduce technological risk in the first year so the company can raise investment in the second, and to demonstrate the prototype "in the operational environments of early adopters in 2026". The company says it spoke with more than 50 organisations before applying. It names none of them, and the Cambridge and Edinburgh talk listings mention hiring plans, not deployments.

1. Signed EIC grantSigned€2,499,000, signed 29 May 2026, per CORDIS.
2. Prototype at TRL 6Company claimStated in the project summary; no public demonstration or benchmark found.
3. Demonstration with early adopters in 2026Not yet publicNo early adopter has been named on the company site or in the talk listings.
4. Equity round in year twoToo earlyYear two of the project begins in June 2027; no EIC Fund investment announced.

The reporting is based on publicly available sources, listed below.