Vulnerability Analysis through Interface-based Checker Design.

Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong

Browse the full QRS paper archive.