My Projects

Formally verified, high-speed, constant-time cryptography Dec 1, 2024
Optimizing SSA compiler Mar 1, 2023
Just-In-Time Compiled WebAssembly on Microcontrollers Dec 1, 2022
File compression Sep 1, 2022