SecVerifier: A Practical Memory-Security Verifier. - Lu Zhao; Lingyun Xu; Guojing Luo; Xiang Long; Jinhai Gong; Xiaobo Sang (QRS Companion, 2021)