ArchProof: A Sound Output-Contribution Certificate for Dormant-Gate Path Backdoors in ONNX Models
Jin Xu, Miaomiao Zhang, Bowen Du
2026年份
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
相关 Paper
- Finding FAULTs in Architectural Backdoors: Why Trigger Detection Fails Under Real-World ConditionsDavid Oygenblik, Teja Akella, Tanmay Gupta, Yizhi Huang 等CCS 2026
- Do You Really Know What I Am Doing? Backdoor Attacks on Provenance-Based Intrusion Detection SystemsShaodi Xie, Wei Yuan, Haoyu Jiang, Zhu Gong 等WWW 2026
- Authority Backdoor: A Certifiable Backdoor Mechanism for Authoring DNNsHan Yang, Shaofeng Li, Tian Dong, Xiangyu Xu 等AAAI 2026
- Implementation Bugs as Attacks: Adversarial Neuron Fuzzing and Supply-Chain BackdoorsZizhuang Deng, Yiying Shan, Sanchuan Chen, Guozhu Meng 等CCS 2026
- Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning CircuitsZhantong Xue, Pingchuan Ma, Zhaoyu Wang, Yuguang Zhou 等CCS 2026
