Verifying Neural Networks Against Backdoor Attacks

14 May 2022

Papers citing "Verifying Neural Networks Against Backdoor Attacks"

5 / 5 papers shown

Title
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 42 0 0 22 Feb 2025
Unelicitable Backdoors in Language Models via Cryptographic Transformer Circuits Andis Draguns Andrew Gritsevskiy S. Motwani Charlie Rogers-Smith Jeffrey Ladish Christian Schroeder de Witt 40 2 0 03 Jun 2024
Verification of Neural Networks Local Differential Classification Privacy Roie Reshef Anan Kabaha Olga Seleznova Dana Drachsler-Cohen AAML 19 2 0 31 Oct 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016