Verifiable Computation of Large Polynomials. - Jiaqi Hong; Haixia Xu 002; Peili Li (INTRUST, 2014)

Private Outsourcing of Polynomial Functions. - Peili Li; Haixia Xu 002; Jiaqi Hong (TrustCom, 2014)

A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces. - Jiaqi Hong; Xuhua Ding (SP, 2021)

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. - Pansilu Pitigalaarachchi; Xuhua Ding; Haiqing Qiu; Haoxin Tu; Jiaqi Hong; Lingxiao Jiang (CCS, 2023)

Neural Active Sensing Vision and Manipulation for Cooperative Agents. - Chenghao Wang; Chaoyi Tan; Linzhen Zhu; Rui Yang; Jiaqi Hong (ICBASE, 2024)

Concretely Mapped Symbolic Memory Locations for Memory Error Detection. - Haoxin Tu; Lingxiao Jiang; Jiaqi Hong; Xuhua Ding; He Jiang 001 (IEEE Trans. Software Eng., 2024)