54 citations · 65 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 54 cited
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo +4
Neural networks have been widely applied in security applications such as spam and phishing detection, intrusion prevention, and malware detection. This black-box method, however,…
cs.LG2022★ 2 cited
Supervised Robustness-preserving Data-free Neural Network Pruning
Mark Huasong Meng, Guangdong Bai, Sin Gee Teo +1
When deploying pre-trained neural network models in real-world applications, model consumers often encounter resource-constraint platforms such as mobile and smart devices. They ty…