Hui Jun Tay

According to our database, Hui Jun Tay authored at least 6 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Yan Shoshitaishvili, Ruoyu Wang

Proceedings of the 32nd USENIX Security Symposium, 2023

2022

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

Pemma Reiter, Hui Jun Tay, Westley Weimer, Adam Doupé, Ruoyu Wang, Stephanie Forrest

CoRR, 2022

2016

PCFIRE: towards provable <u>p</u>reventative <u>c</u>ontrol-<u>f</u>low <u>i</u>ntegrity enforcement for <u>r</u>ealistic <u>e</u>mbedded software.

Jiaqi Tan, Hui Jun Tay, Utsav Drolia, Rajeev Gandhi, Priya Narasimhan

Proceedings of the 2016 International Conference on Embedded Software, 2016

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

Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

AUSPICE: Automatic Safety Property Verification for Unmodified Executables.

Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

2014

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

Proceedings of the 2014 IEEE Workshop on Advanced Robotics and its Social Impacts, 2014