Highly Automated Verification of Security Properties for Unmodified System Software.

Ganxiang Yang, Wei Qiang, Yi Rong, Xuheng Li, Fanqi Yu, Jason Nieh, Ronghui Gu

Browse the full ASPLOS paper archive.