Login / Signup
Hui Jun Tay
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 5
Top Topics
Embedded Software
Control Flow
Information Discovery
Physical Location
Top Venues
USENIX Security Symposium
VSTTE
CoRR
ARSO
</>
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)