About
Rafael is currently pursuing a Ph.D. at George Mason University, advised by Dr. Kun Sun and Dr. Xiaokuan Zhang. Before that, he has earned a master’s degree and a bachelor’s degree in Computer Science. He had took security research internship at Certik and Vector35.
His research focuses on Automatic Program Analysis to detect and enhance the security of program. He has published a paper in USENIX Security on type confusion bugs detection. Currently, he is working on automatically refactoring Rust program with Large Language Model. He has experience in vulnerability Analysis, which has been recognized through multiple RUSTSEC and CVE IDs.
Work Experience
- Certik, Security Researcher, Summer Intern 2024
Rust, Program Analysis, Cross-Chain Blockchain Ecosystem - Vector35, Security Researcher, Summer Intern 2022
C++, Reverse Engineering (Binary Ninja), Machine Learning
Vulnerability Analysis
- Get assigned with CVE and RUSTSEC in Rust program
What’s New
- One paper accepted by USENIX Security 2025.
