A platform for secure static binary instrumentation. - Mingwei Zhang 005; Rui Qiao 002; Niranjan Hasabnis; R. Sekar 001 (VEE, 2014)

A Principled Approach for ROP Defense. - Rui Qiao 002; Mingwei Zhang 005; R. Sekar 001 (ACSAC, 2015)

Checking correctness of code generator architecture specifications. - Niranjan Hasabnis; Rui Qiao 002; R. Sekar 001 (CGO, 2015)

ANVIL: Software-Based Protection Against Next-Generation Rowhammer Attacks. - Zelalem Birhanu Aweke; Salessawi Ferede Yitbarek; Rui Qiao 002; Reetuparna Das; Matthew Hicks; Yossi Oren; Todd M. Austin (ASPLOS, 2016)

Function Interface Analysis: A Principled Approach for Function Recognition in COTS Binaries. - Rui Qiao 002; R. Sekar 001 (DSN, 2017)