CASE / 01 · Development collaboration on a client-led PoC
Auth Platform PoC with Formal Verification
The client led toolchain selection and foundational design. CoRISE contributed to Rust implementation, proof work and model checking.
- Project Everest
- Rust
- Kani
- Tamarin
Related services · Product Engineering / Security & Resilience / Architecture & Modernization