Skip to content
View shinmao's full-sized avatar
97 followers · 105 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report shinmao

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
shinmao/README.md

Hi 👋, This is Rafael

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:

1pwnch rafael chen https://blog.1pwnch.com/index.xml

Pinned Loading

  1. Bug-hunting-in-Rust Bug-hunting-in-Rust Public

    2 2

  2. TYPEPULSE TYPEPULSE Public

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

    Rust 2

  3. Vector35/AlgoProphet Vector35/AlgoProphet Public

    Python 8 1

  4. NCU-Babies-Hacker NCU-Babies-Hacker Public

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

    Python 12

  5. SecurityLearning SecurityLearning Public

    For Web Security

    JavaScript 6 3

  6. algorithm algorithm Public

    A variety of OJ wp

    C++ 1