RoundofThree (Zhuo Ying Jiang Li)

• Email: zyj20 [at] cl.cam.ac.uk
• Github
• resume.pdf (outdated)

Introduction

Who am I?

• A security and systems enthusiast
• A salty tuna
• ACG lover
• Currently a PhD student at the University of Cambridge. My research areas span computer security and systems.

Skills

• Vulnerability research and exploitation
• OS internals (CheriBSD, FreeBSD, Linux)

Projects

• Security implications of CHERI on LLVM compiler optimizations and verification
  • Extend Alive2 to reason about CHERI semantics
• GEF with Morello support
• GEF extra plugins
  • jemalloc heap analysis
  • snmalloc heap analysis
• Ghidra with Morello support
• Unicorn with Morello support