A Method to Verify Neural Network Decoders Against Adversarial Attacks

In this letter, we focus on the robustness performance of deep neural networks (DNNs) in the context of channel decoding tasks when confronted with adversarial attacks. Leveraging interval analysis, we verify the robustness of these DNNs against adversarial attacks within a specific power range. We demonstrate that a verified upper bound can serve as an effective metric to quantify the defense capabilities of neural networks against such attacks. The verification can be useful in assessing the security of wireless communication systems using deep learning algorithms.