Hardware trojan detection through information flow security verification.

Adib Nahiyan, Mehdi Sadi, Rahul Vittal, Gustavo K. Contreras, Domenic Forte, Mark Tehranipoor

Browse the full ITC paper archive.