SecVerifier: A Practical Memory-Security Verifier.

Lu Zhao, Lingyun Xu, Guojing Luo, Xiang Long, Jinhai Gong, Xiaobo Sang

Browse the full QRS paper archive.