Showing cs.CRShow all
2 papers · 1 filter
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…