@inproceedings{du2021cert,
  title={Cert-RNN: Towards Certifying the Robustness of Recurrent Neural Networks},
  author={Du, Tianyu and Ji, Shouling and Shen, Lujia and Zhang, Yao and Li, Jinfeng and Shi, Jie and Fang, Chengfang and Yin, Jianwei and Beyah, Raheem and Wang, Ting},
  booktitle={Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security},
  pages={516--534},
  year={2021}
}