Scholar
Gregory J. Duck
Google Scholar ID: xS0SZ24AAAAJ
National University of Singapore
Citations & Impact
Citations
1,426
H-index
12
i10-index
14
Publications
20
Co-authors
14
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published several papers including 'Large Language Model powered Symbolic Execution' (with Yihe Li, Ruijie Meng, to appear in OOPSLA 2025) and 'Fully Randomized Pointers' (with Sai Dhawal Phaye, Roland H. C. Yap, Trevor E. Carlson, to appear in ISMM 2025). The former proposes an LLM-based symbolic execution approach, while the latter introduces a new pointer encoding scheme for strong memory error defense.
Research Experience
- Works as a Research Assistant Professor at the National University of Singapore since 2011. Involved in multiple projects such as EnvFuzz (a fuzzer that can fuzz almost anything), BlueFat (strong and compatible memory safety with Fully Randomized Pointers), RedFat (a binary hardening system for x86_64), libredfat (a hardened malloc() replacement), E9Patch (a powerful static binary rewriter), E9Syscall (system call hooking using static binary rewriting), E9AFL (binary fuzzing using AFL), EffectiveSan (type and memory error detection using dynamically typed C/C++), LowFat (lean program hardening with low-fat pointers).
Education
- Received BSc (Mathematics), BEng (Software) and Phd (Computer Science) from the University of Melbourne.
Background
- Research interests include systems, security, binary rewriting, fuzzing, repair, and programming languages.
