​
Login / Signup
Jiaqi Hong
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 3
Top Topics
Relational Databases
Privacy Preserving
Execution Engine
Target Function
Top Venues
IEEE Symposium on Security and Privacy
CCS
INTRUST
IEEE Trans. Software Eng.
</>
Publications
</>
Haoxin Tu
,
Lingxiao Jiang
,
Jiaqi Hong
,
Xuhua Ding
,
He Jiang
Concretely Mapped Symbolic Memory Locations for Memory Error Detection.
IEEE Trans. Software Eng.
50 (7) (2024)
Pansilu Pitigalaarachchi
,
Xuhua Ding
,
Haiqing Qiu
,
Haoxin Tu
,
Jiaqi Hong
,
Lingxiao Jiang
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.
CCS
(2023)
Jiaqi Hong
,
Xuhua Ding
A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces.
IEEE Symposium on Security and Privacy
(2021)
Jiaqi Hong
,
Haixia Xu
,
Peili Li
Verifiable Computation of Large Polynomials.
INTRUST
(2014)
Peili Li
,
Haixia Xu
,
Jiaqi Hong
Private Outsourcing of Polynomial Functions.
TrustCom
(2014)