3 papers
cs.CR2026
Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
Chao Yin, Zunchen Huang, Chenglu Jin +2
Semi-Private Function Evaluation (SPFE) enables joint computation while protecting both input data and the function itself. A practical instantiation is gate-hiding garbled circuit…
cs.CR2026
Proving Circuit Functional Equivalence in Zero Knowledge
Sirui Shen, Zunchen Huang, Chenglu Jin
The modern integrated circuit ecosystem is increasingly reliant on third-party intellectual property integration, which introduces security risks, including hardware Trojans and se…
cs.LO2025
Approximate Optimal Active Learning of Decision Trees
Zunchen Huang, Chenglu Jin
We consider the problem of actively learning an unknown binary decision tree using only membership queries, a setting in which the learner must reason about a large hypothesis spac…