Zunchen Huang

According to our database, Zunchen Huang authored at least 8 papers between 2020 and 2026.

Collaborative distances:

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

2026

Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving.

Chao Yin, Zunchen Huang, Chenglu Jin, Marten van Dijk, Fabio Massacci

CoRR, January, 2026

Proving Circuit Functional Equivalence in Zero Knowledge.

Sirui Shen, Zunchen Huang, Chenglu Jin

CoRR, January, 2026

2025

Approximate Optimal Active Learning of Decision Trees.

Zunchen Huang, Chenglu Jin

CoRR, December, 2025

2024

Discovering Likely Program Invariants for Persistent Memory.

Zunchen Huang, Srivatsan Ravi, Chao Wang

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Constraint Based Program Repair for Persistent Memory Bugs.

Zunchen Huang, Chao Wang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2022

Understanding Concurrency Vulnerabilities in Linux Kernel.

Zunchen Huang, Shengjian Guo, Meng Wu, Chao Wang

CoRR, 2022

Symbolic Predictive Cache Analysis for Out-of-Order Execution.

Zunchen Huang, Chao Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2020

ConTesa: Directed Test Suite Augmentation for Concurrent Software.

Tingting Yu, Zunchen Huang, Chao Wang

IEEE Trans. Software Eng., 2020