Peking University / National Natural Science Foundation of China / Institute of Computer Science and Technology / National Development and Reform Commission InfoSec Foundation / Laboratory of Internet Security Technology / Texas A&M University / Department of Computer Science and Engineering / Peking University / Beijing / / /
Position
Author / tools and symbolic execution General / corresponding author / /