研究專長

  • 程式安全 (Secure Programming)
    • Automatic Exploit Generation
    • Software Patch Generation
  • 軟體測試 (Software Testing)
    • Fuzz Testing
    • Symbolic Execution
  • 系統與網路管理 (System and Network Administration)
    • Configuration Management