Description
Develops ProvenCore, a formally verified secure microkernel and trusted execution environment for embedded systems.
Why It Belongs Here
No specific defense relevance signals have been verified yet.
Details
Links
Domain: provenrun.com
Sources and Evidence
Evidence Links
No evidence links have been extracted yet.