Email: etyyuiope [AT] gmail [DOT] com
Languages: Rust, C++, Coq.
Security, systems and verification.
Email: etyyuiope [AT] gmail [DOT] com
Languages: Rust, C++, Coq.
Security, systems and verification.
A static verifier for Rust, based on the Viper verification infrastructure.
Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.