FDE & SMIMS VeriComm

Mainly focuses on learning how the SMIMS engine & API works, and reimplementing the API in Rust (building on what 张政镒 already built).

  • SMIMS Engine

PreviousFDE Midterm PresentationNextCompiling Rabbit for MacOS (arm64)

Last updated