Verifying Neural Networks Against Backdoor Attacks
Authors: Long H. Pham and Jun Sun
Paper Information
| Title: | Verifying Neural Networks Against Backdoor Attacks |
| Authors: | Long H. Pham and Jun Sun |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | neural network, backdoor attack, verification |
| Pages: | 21 |
| Talk: | Aug 07 14:40 (Session 90A: Formal Methods for Neural Networks) |
| Paper: |  |