ArchProof: A Sound Output-Contribution Certificate for Dormant-Gate Path Backdoors in ONNX Models

Ask about this paper

Ask your agent about it.

Lune has read the top-tier papers around this one, so every answer names the papers it rests on.

Related papers

• Finding FAULTs in Architectural Backdoors: Why Trigger Detection Fails Under Real-World ConditionsDavid Oygenblik, Teja Akella, Tanmay Gupta, Yizhi Huang et al.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 et al.WWW 2026
• Authority Backdoor: A Certifiable Backdoor Mechanism for Authoring DNNsHan Yang, Shaofeng Li, Tian Dong, Xiangyu Xu et al.AAAI 2026
• Implementation Bugs as Attacks: Adversarial Neuron Fuzzing and Supply-Chain BackdoorsZizhuang Deng, Yiying Shan, Sanchuan Chen, Guozhu Meng et al.CCS 2026
• Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning CircuitsZhantong Xue, Pingchuan Ma, Zhaoyu Wang, Yuguang Zhou et al.CCS 2026