ProvenRun

Dual-Use

France

Description

Develops ProvenCore, a formally verified secure microkernel and trusted execution environment for embedded systems.

Details

Founded: 2009

Employee count: not yet verified

France

Links

Domain: provenrun.com

GitHub: not yet verified

YouTube: not yet verified

X profile: not yet verified

Sources and Evidence

Source record attached; public URL not available.From source record· 3 months ago

Evidence Links

No evidence links have been extracted yet.

Added Aug 11, 2026

Last verified: 3 months ago

Joined DefTech DirectoryAug 11, 2026