Ph.D., Computer Science
Advisor: Dr. Christina Garman
Focus: Applied Cryptography
Purdue University, West Lafayette, IN
April 2022 — Present (Expected May 2026)
M.S., Computer Science
Purdue University, West Lafayette, IN
August 2021 — May 2022
B.S., Computer Science, Mathematics
Purdue University, West Lafayette, IN
August 2017 — May 2021
[Spr. 2023] | CS 655: Advanced Cryptology |
[Spr. 2022] | CS 528: Network Security |
[Spr. 2021] | CS 590: Practical & Applied Cryptography |
[Spr. 2021] | CS 523: Social, Economic, & Legal Aspects of Security |
[Fall 2020] | CS 526: Information Security |
[Fall 2021] | CS 536: Data Communication & Computer Networks |
[Spr. 2021] | CS 352: Compilers: Principles & Practice |
[Spr. 2020] | PSY 577: Human Factors in Engineering |
[Fall 2019] | CS 354: Operating Systems |
[Spr. 2024] | CS 593: Quantum Computing |
[Spr. 2022] | CS 565: Programming Languages |
[Fall 2021] | CS 584: Computation & Complexity Theory |
[Fall 2021] | CS 580: Algorithm Design, Analysis, & Implementation |
[Fall 2023] | LING 398: Computational Linguistics |
[Fall 2023] | MA 553: Abstract Algebra |
[Spr. 2020] | MA 353: Linear Algebra II |
[Fall 2018] | PSY 272: Industrial-Organizational Psychology |
[Mar. 2023–] |
PPE Rewriter: An equation rewriting system written in Rust which automatically converts a list of arbitrary pairing-product equations (PPEs) into a canonical form ala Groth-Sahai. Leverages well-structured algebraic properties of bilinear maps/pairings. Tools: Arkworks (cryptography), egg (program synthesis) |
[Aug. 2021–] |
Groth-Sahai: A cryptographic library written in Rust, which allows developers and researchers to create efficient proofs (optionally, in zero-knowledge) about the satisfiability of algebraic equations over bilinear maps/pairings. Implements many of the techniques first described by Groth and Sahai [GS08], including various other gadgets and optimizations from academic literature. Tools: Arkworks (cyptography), Rayon (parallel computing), nalgebra (linear algebra) |
[Jul. 2020] |
IoT Network Isolation: During the COVID pandemic shutdown, I configured a network to monitor and analyze IoT device traffic for fun. I tracked which devices attempted to "phone home" with telemetry data and, if necessary, isolated them from the Internet. I familiarized myself with many network administration and analysis tools such as Wireshark, tcpdump, and iptables. Tools: Wireshark (network analysis), tcpdump (network analysis), iptables (network administration) |