Open source projects I've worked on.
Proof of Being Forgotten — verified confidential computing framework
In-enclave verification of privacy compliance
Apache Teaclave — universal secure computing platform
Apache TVM — deep learning compiler
A toy Python compiler built from scratch
Collection of memory safety examples
CS course projects and exercises