Research Areas

Vulnerability Discovery

  • Automated fuzz testing (fuzzing)
  • Vulnerability-tailored testing
  • Vulnerability severity analysis
  • Hybrid testing techniques
  • Testing interface synthesis

Related Projects:
UnTracer AFL-Edge SieveFuzz SAVIOR

Binary Code Analysis

  • Decompilation and disassembly
  • Binary lifting and translation
  • Binary similarity analysis
  • Tool accuracy measurement
  • Emergent languages (e.g., Rust)

Related Projects:
x86-SoK Binary-GT ZAFL DDS

Software Instrumentation

  • Compiler frameworks (e.g., LLVM)
  • Static and dynamic rewriting
  • Hardware-supported tracing
  • Cross-platform instrumentation
  • Debloating and optimization

Related Projects:
ZAFL ASAN-- HeXcite PTrix

Want to get involved?

We are always looking for motivated students at all levels (Ph.D., M.S., and undergraduate). If any of our research areas or projects interest you, check out our current openings and opportunities here: