Mentorship

• Jake Manning (Undergraduate Student at Texas A&M University, 2024 -- Present)

Projects:

Analyzing correlations between coverage metrics and design signals

• Isidora Wright (Undergraduate Student at Texas A&M University, 2023 -- Present)

Projects: 

Fuzzing OpenTitan SoC

• Kyle Minihan (Undergraduate Student at Texas A&M University, 2023 -- Present)

Projects: 

Fuzzing Ibex Processor

• Tyler Finkbeiner (Former Undergraduate Student at Texas A&M University, 2023 May -- 2023 Dec)

Projects: 

Accelerating the fuzzing process using FPGA

• Eddie Phillips (Undergraduate Student at Texas A&M University, 2023 -- Present)

Projects: 

Accelerating the fuzzing process using FPGA

• Jack Letsinger (Undergraduate Student at Texas A&M University, 2022 -- Present)

Projects:

Fuzzing OpenTitan SoC

Fuzzing Ibex Processor

• Nathan Nguyen (Former Undergraduate Student at Texas A&M University, 2022 -- 2023)

Projects:

The combination of Fuzzing and Formal Verification

Publications:

HyPFuzz: Formal-Assisted Processor Fuzzing (USENIX Security' 23)

First Position After Graduation

Raytheon