LaserGuider: A Laser Based Physical Backdoor Attack against Deep Neural Networks
Backdoor attacks embed hidden associations between triggers and targets in deep neural
networks (DNNs), causing them to predict the target when a trigger is present while …
networks (DNNs), causing them to predict the target when a trigger is present while …
Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
Formal verification provides critical security assurances for neural networks, yet its practical
application suffers from the long verification time. This work introduces a novel method for …
application suffers from the long verification time. This work introduces a novel method for …