Hui Jun Tay

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 5

Top Topics

Embedded Software

Information Discovery

Physical Location

Top Venues

USENIX Security Symposium

Publications

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, Adam Doupé, Yan Shoshitaishvili, Ruoyu Wang
Operation Mango: Scalable Discovery of Taint-Style Vulnerabilities in Binary Firmware Services. USENIX Security Symposium (2024)
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, Yan Shoshitaishvili, Ruoyu Wang
Greenhouse: Single-Service Rehosting of Linux-Based Firmware Binaries in User-Space Emulation. USENIX Security Symposium (2023)
Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang, Stephanie Forrest
Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation. CoRR (2022)
Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan
AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code. APLAS (2016)
Jiaqi Tan, Hui Jun Tay, Utsav Drolia, Rajeev Gandhi, Priya Narasimhan
PCFIRE: towards provable preventative control-flow integrity enforcement for realistic embedded software. EMSOFT (2016)
Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan
AUSPICE: Automatic Safety Property Verification for Unmodified Executables. VSTTE (2015)
Garth Zeglin, Aaron Walsman, Laura Herlant, Zhaodong Zheng, Yuyang Guo, Michael C. Koval, Kevin Lenzo, Hui Jun Tay, Prasanna Velagapudi, Katie Correll, Siddhartha S. Srinivasa
HERB's Sure Thing: A rapid drama system for rehearsing and performing live robot theater. ARSO (2014)