Identifying Security Critical Properties for the Dynamic Verification of a Processor.

Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton

Browse the full ASPLOS paper archive.