search

hex-five / multizone-sdk

MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn't define TrustZone-like primitives to provide hardware separation. To shield critical functionality from untrusted third-party components, MultiZone provides hardware-enforced, software-defined separation of multi
https://hex-five.com/multizone-security-tee-riscv/
Other
82 stars 24 forks source link

nanoKernel code location/availability #52

Closed AntonHermann closed 2 years ago

AntonHermann commented 2 years ago

Hey there,

on your website you mention that the MultiZone runtime is formally verifiable and written in Assembly. Is the code of this runtime publicly available anywhere? I wasn't able to find any further information on that.

Thanks in advance, Anton

cgarlati commented 2 years ago

Hi Anton,

Yes: MultiZone runtime components are written 100% in assembly.

Yes: MultiZone runtime components are designed for formal verification - a bit like hw blocks.

MultiZone runtime components are protected by patents US 11,151,262 and PCT/US2019/038774 and available to Hex Five's commercial licensees upon request.

Cesare