Fips
Arlington, VA
I’m a graduate from the University of Maryland, College Park who is broadly interested in security. Below is a more specific list of my current interests or fields I’d otherwise want to explore:
- Zero-knowledge proofs
- Cryptographic engineering
- Software exploitation and reverse engineering
- Automated program analysis and formal verification
- Compilers (optimizations, infrastructure)
I sometimes play capture the flags (CTFs) with DiceGang, though I’ve been kind of inactive lately. I mostly focus on solving cryptography challenges, though I occasionally branch out into other categories.
I am a strong believer in open-sourcing my work, and I hope that every software engineer strives to do the same.
news
Apr 28, 2023 | Released PietCC, a Rust compiler targeting LLVM IR for the Piet esoteric language. |
---|---|
May 18, 2022 | Graduated from the University of Maryland, College Park :) |
Aug 3, 2021 | PrivacyRaven model inversion progress and PoC |
Jan 26, 2020 | Improving Manticore state awareness with Ansible and DigitalOcean (Trail of Bits) |