Email: etyyuiope [AT] gmail [DOT] com
Languages: Rust, C++, Python, OCaml, Haskell, Racket, Agda, Coq.
PL, security, and verification.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseEmail: etyyuiope [AT] gmail [DOT] com
Languages: Rust, C++, Python, OCaml, Haskell, Racket, Agda, Coq.
PL, security, and verification.
A static verifier for Rust, based on the Viper verification infrastructure.
Occlum is a memory-safe, multi-process library OS for Intel SGX
Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.
Ancillary open source software to support confidential computing on NVIDIA GPUs