Secure information flow analysis for hardware design: using the right abstraction for the job.

Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong

Browse the full PLDI paper archive.