ASEAN-China Forum 2021 | Towards Verifying Neural Networks Against Backdoor Attacks