| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 30 May 2022 | SERC | Institute for Infocomm Research | Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective | Mark Huasong Meng, Guangdong Bai, Sin Gee Teo, Zhe Hou, Yan Xiao, Yun Lin, Jin Song Dong | IEEE Transactions on Dependable and Secure Computing |