Biblio
] , “Detecting Hardware Trojans in Unspecified Functionality Through Solving Satisfiability Problems”, in Asia and South Pacific Design Automation Conference (ASP-DAC), 2017.
ASPDAC17_v2.pdf (399.81 KB)
ASPDAC17_v2.pdf (399.81 KB), “Hardware Trojans in Incompletely Specified On-chip Bus Systems”, in Design, Automation, Test in Europe (DATE), 2016. DATE16_4page_aff.pdf (315.73 KB)
DATE16_4page_aff.pdf (315.73 KB), “Hiding Hardware Trojan Communication Channels in Partially Specified SoC Bus Functionality”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. PP, 2016. TCAD.pdf (2.23 MB)
TCAD.pdf (2.23 MB), “Trojans Modifying Soft-Processor Instruction Sequences Embedded in FPGA Bitstreams”, in Proceedings of the 26th International Conference on Field-Programmable Logic and Applications (FPL), 2016. FPL16.pdf (170.74 KB)
FPL16.pdf (170.74 KB)