Nicole Fern
Primary tabs
] , “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), “Mining Mutation Testing Simulation Traces for Security and Testbench Debugging”, in International Conference on Computer-Aided Design (ICCAD), 2017. ICCAD17_v2.pdf (650.84 KB)
ICCAD17_v2.pdf (650.84 KB), “Verification and Trust for Unspecified IP Functionality”, in Hardware IP Security and Trust, Springer, 2017.
, “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), “Detecting Hardware Trojans in Unspecified Functionality Using Mutation Testing”, in International Conference on Computer Aided Design (ICCAD), 2015. ICCAD15.pdf (382.74 KB)
ICCAD15.pdf (382.74 KB), “Hardware Trojan Detection Using Exhaustive Testing of k-bit Subspaces”, in Asia and South Pacific Design Automation Conference (ASP-DAC), 2015. ASPDAC2015.pdf (508.45 KB)
ASPDAC2015.pdf (508.45 KB), “Hardware Trojans Hidden in RTL Don’t Cares – Automated Insertion and Prevention Methodologies”, in International Test Conference (ITC), 2015. ITC15.pdf (278.4 KB)
ITC15.pdf (278.4 KB), “Mutation analysis with coverage discounting”, in Design, Automation Test in Europe Conference (DATE), 2013. DATE13.pdf (167.64 KB)
DATE13.pdf (167.64 KB)