I'm an student @ NYU and a security engineer. I am incredibly passionate about building secure systems and infrastructure, utilizing quality security research to build real-world software implementations. I'm interested in operating systems, modern cryptography, and programming languages.
I'm open to talk! Ping me if you are interested in stuff like Linux process sandboxing, fuzz-testing infrastructure, crypto verification or anything else!
Notable Work
- sandshrew (with Trail of Bits): concolic unit testing tool for crypto verification.
- CrashSimulator (with the NYU Secure Systems Lab): a crash-replay system that performs mutation analysis through anomaly injection.
- Ghostpass (independent): a two-round encryption protocol for password managers that incorporates key-derivation and textual steganography.
...a nice list of other personal projects are available on Github
Publications
- A. Cao. Lagrange: design of a low-level mathematical library for polynomial interpolation over Galois finite fields. May 2018. (link)