HERB's Sure Thing: A rapid drama system for rehearsing and performing live robot theater. - Garth Zeglin; Aaron Walsman; Laura Herlant; Zhaodong Zheng; Yuyang Guo; Michael C. Koval; Kevin A. Lenzo; Hui Jun Tay; Prasanna Velagapudi; Katie Correll; Siddhartha S. Srinivasa (ARSO, 2014)

AUSPICE: Automatic Safety Property Verification for Unmodified Executables. - Jiaqi Tan 001; Hui Jun Tay; Rajeev Gandhi; Priya Narasimhan (VSTTE, 2015)

AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. - Jiaqi Tan 001; Hui Jun Tay; Rajeev Gandhi; Priya Narasimhan (APLAS, 2016)

PCFIRE: towards provable preventative control-flow integrity enforcement for realistic embedded software. - Jiaqi Tan 001; Hui Jun Tay; Utsav Drolia; Rajeev Gandhi; Priya Narasimhan (EMSOFT, 2016)

Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. - Pemma Reiter; Hui Jun Tay; Westley Weimer; Adam Doupé; Ruoyu Wang 001; Stephanie Forrest (CoRR, 2022)

Greenhouse: Single-Service Rehosting of Linux-Based Firmware Binaries in User-Space Emulation. - Hui Jun Tay; Kyle Zeng; Jayakrishna Menon Vadayath; Arvind S. Raj; Audrey Dutcher; Tejesh Reddy; Wil Gibbs; Zion Leonahenahe Basque; Fangzhou Dong; Zack Smith; Adam Doupé; Tiffany Bao; et al. (USENIX Security Symposium, 2023)

Operation Mango: Scalable Discovery of Taint-Style Vulnerabilities in Binary Firmware Services. - Wil Gibbs; Arvind S. Raj; Jayakrishna Menon Vadayath; Hui Jun Tay; Justin Miller; Akshay Ajayan; Zion Leonahenahe Basque; Audrey Dutcher; Fangzhou Dong; Xavier J. Maso; Giovanni Vigna; Christopher Kruegel; et al. (USENIX Security Symposium, 2024)

Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation. - Pemma Reiter; Hui Jun Tay; Westley Weimer; Adam Doupé; Ruoyu Wang 001; Stephanie Forrest (IEEE Trans. Dependable Secur. Comput., 2025)