Security & Resilience
Auth Platform PoC with Formal Verification
- Challenge
- Develop an authentication and authorization PoC that combines implementation with formal verification.
- Constraints
- The client led toolchain selection and foundational design; CoRISE contributed within that framework.
- Approach
- Contributed to Rust implementation, proof work and model checking under the client’s technical direction.
- Architecture
- Project Everest outputs, Rust implementation, Kani model checking and Tamarin protocol verification.
- Contribution
- Implementation and verification collaboration at the PoC stage, with claims scoped to the properties and assumptions examined.
- Project Everest
- Rust
- Kani
- Tamarin