PrototypeCommon
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.
- Owner
- IBM (organization)
- Stars
- Stars: 220
- Forks
- Forks: 27
- Language
- Rust
- License
- Apache-2.0
- Created
- 2023
- Topics
- confidential-computingriscvsecuritytrusted-computingtrusted-execution-environmentvirtualizationcoqformal-verificationrust-langrefinedrust
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by IBM
All 172 repos by IBM- IBM/saramaStars: 12,525GoStable
- IBM/plexStars: 11,736CSSStable
- IBM/mcp-context-forgeStars: 4,733PythonRC
- IBM/AssetOpsBenchStars: 2,409PythonRC
- IBM/css-gridishStars: 2,216CSSRC
- IBM/fp-goStars: 2,034GoRC
Nearby in Rust
All Rust repos- datafusion-contrib/datafusion-ducklakeStars: 220RustPrototype
- second-state/payment-skillStars: 220RustPrototype
- bamboostrip/Handwriting-sim-rsStars: 220RustPrototype
- michaelsproul/rust_radix_trieStars: 220RustPrototype
- ticki/eudexStars: 220RustPrototype
- async-rs/futures-timerStars: 220RustPrototype