Hui-Jun Tay

Most-cited papers

1. Greenhouse: Single-Service Rehosting of Linux-Based Firmware Binaries in User-Space Emulation

   Hui-Jun Tay, Kyle Zeng, J. Vadayath, A. S. Raj +10 more

   2023USENIX Security Symposium41 citations

   Semantic Scholar

   Save

2. Automatically Mitigating Vulnerabilities in Binary Programs via Partially Recompilable Decompilation

   Pemma Reiter, Hui-Jun Tay, Westley Weimer, Adam Doupé +2 more

   2022IEEE Transactions on Dependable and Secure Computing19 citations Open access

   Semantic Scholar

   Save

3. PCFIRE: Towards provable preventative Control-Flow Integrity enforcement for realistic embedded software

   Jiaqi Tan, Hui-Jun Tay, Utsav Drolia, R. Gandhi +1 more

   2016International Conference on Embedded Software9 citations

   Semantic Scholar

   Save

4. AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code

   Jiaqi Tan, Hui-Jun Tay, R. Gandhi, P. Narasimhan

   2016Asian Symposium on Programming Languages and Systems1 citations

   Semantic Scholar

   Save