2015 Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware Michael LeMay, Carl A. Gunter Logic, Rewriting, and Concurrency (Logic, Rewriting, and Concurrency (LRC)). PDF DOI