多模态信息融合

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

基于SAT求解的门隐藏加密电路中的函数恢复攻击

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

专题命中 机器人多传感器融合 ：sensor fusion(abstract)

AI总结 本文提出基于SAT的函数恢复攻击方法，通过拓扑保持简化定理和分解恢复任务为小SAT查询，减少候选门类型分配空间，提升恢复性能。