Jiaqi Hong

According to our database, Jiaqi Hong authored at least 5 papers between 2014 and 2024.

Collaborative distances:

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

2024

Concretely Mapped Symbolic Memory Locations for Memory Error Detection.

Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, He Jiang

IEEE Trans. Software Eng., July, 2024

2023

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2021

A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel Spaces.

Jiaqi Hong, Xuhua Ding

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2014

Private Outsourcing of Polynomial Functions.

Peili Li, Haixia Xu, Jiaqi Hong

Proceedings of the 13th IEEE International Conference on Trust, 2014

Verifiable Computation of Large Polynomials.

Jiaqi Hong, Haixia Xu, Peili Li

Proceedings of the Trusted Systems - 6th International Conference, 2014