Danh mục
ibm/ace-riscv
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
IA
ibm/ace-riscv
Rust · danh tính provisional_slug_only
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
confidential-computingriscvsecuritytrusted-computingtrusted-execution-environmentvirtualizationcoqformal-verification
Sao—lịch sử sao
Hạng—snapshot toàn cục
Fork26bản ghi nguồn
Số ngày trending1lịch sử xu hướng
Snapshot chỉ có lịch sử sao đầy đủ của star-history/star-history. Lịch sử thiếu thì không vẽ.
Không có README
Mở repository trên GitHub để đọc.
GitHub ↗