Fips

ego_psyche.jpg
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)