1 Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage Michael Bilzor∗ , Ted Huffmire† , Cynthia Irvine† , Tim Levin†

First Page		Document Content
Date: 2012-10-30 13:43:13		1 Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage Michael Bilzor∗ , Ted Huffmire† , Cynthia Irvine† , Tim Levin† Add to Reading List Source URL: cisr.nps.edu Download Document from Source Website File Size: 166,15 KB Share Document on Facebook