shinmao

Follow

Rafael shinmao

Follow

Security Researcher | Graduate Research Assistant in @SunLab-GMU | PhD candidate at GMU

97 followers · 105 following

Sun Security Lab
https://shinmao.github.io

Achievements

Achievements

shinmao/README.md

Hi 👋, This is Rafael

📝 Learn more about me? https://shinmao.github.io
📫 How to reach me shinmaox2016@gmail.com

Research interest

Bug Detection in SoC
Bug Detection in Rust
Reverse Engineering

Experience

SDE at Google (present)
PhD SWE Intern at Google
PhD Security Research Intern at @Certik
SWE Intern at @Vector35

Publications

USENIX Security 2025 - TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs - First author
USENIX Security 2026 - CULPA: Universal Detection of Memory-Safety Bugs in Unsafe Rust Through the Lens of Safety Requirements - First author

Connect with me:

Pinned Loading

Bug-hunting-in-Rust Bug-hunting-in-Rust Public

2 2
TYPEPULSE TYPEPULSE Public

TypePulse: Detecting Type Confusion Bugs in Rust Programs (USENIX Security '25)

Rust 2
Vector35/AlgoProphet Vector35/AlgoProphet Public

Python 8 1
NCU-Babies-Hacker NCU-Babies-Hacker Public

A small group for NCU students who want to learn Hacking.

Python 12
SecurityLearning SecurityLearning Public

For Web Security

JavaScript 6 3
algorithm algorithm Public

A variety of OJ wp

C++ 1