Hardware trust implications of 3-D integration. - Ted Huffmire; Timothy E. Levin; Michael Bilzor; Cynthia E. Irvine; Jonathan Valamehr; Mohit Tiwari; Timothy Sherwood; Ryan Kastner (WESS, 2010)

Security Checkers: Detecting processor malicious inclusions at runtime. - Michael Bilzor; Ted Huffmire; Cynthia E. Irvine; Timothy E. Levin (HOST, 2011)

Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage. - Michael Bilzor; Ted Huffmire; Cynthia E. Irvine; Timothy E. Levin (HOST, 2012)