Testing and Verifying the Security of COVID-19 CT Images Deep Learning System with Adversarial Attack

Abstract

The Coronavirus disease 2019 (COVID-19) is a pandemic that occurred in December 2019 and spread globally. Most of the current research is on how to apply deep learning to detect COVID-19, but little research has been done on the security of COVID-19 deep learning systems. Therefore, we test and verify the security of COVID-19 CT images deep learning system with adversarial attack. Firstly, we build a deep learning system for recognizing COVID-19 CT images. Secondly, adding imperceptible disturbance to CT images will lead to neural network classification errors. Finally, we discuss the application of formal methods and formal verification to deep learning systems. We hope to draw more attention from researchers to the application of formal methods and formal verification to artificial intelligence.