N. Fern and K. T. Cheng, “Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots”, in Design, Automation and Test in Europe (DATE) Conference, 2019.
N. Fern and K.-T. Cheng, “Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security”, International Test Conference (ITC), 2018.
N. Fern and K-T. Cheng. “Mining Mutation Testing Simulation Traces for Security and Testbench Debugging“, International Conference on Computer Aided Design (ICCAD), 2017.
N. Fern, I. San, and K-T. Cheng. “Detecting Hardware Trojans in Unspecified Functionality Through Solving Satisfiability Problems“, Asia South-Pacific Design Automation Conference (ASP-DAC), 2017.
N. Fern and K-T. Cheng. “Verification and Trust for Unspecified IP Functionality” in Hardware IP Security and Trust, Prabhat Mishra, Swarup Bhunia, and Mark Tehranipoor, Eds. Springer, 2017.
N. Fern, I. San, C. Koc, and K-T. Cheng. “Hiding Hardware Trojan Communication Channels in Partially Specified SoC Bus Functionality“, IEEE Transactions on Computer-Aided Design of Integrated Circuits and System (TCAD), 2016.
I. San, N. Fern, C. Koc, and K-T. Cheng. “Trojans Modifying Soft-Processor Instruction Sequences Embedded in FPGA Bitstreams“, International Conference on Field-Programmable Logic and Applications (FPL), 2016.
N. Fern, Verification Techniques for Hardware Security, PhD thesis, University of California, Santa Barbara, June 2016.
N. Fern, I. San, C. Koc, and K-T. Cheng. “Hardware Trojans in Incompletely Specified On-chip Bus Systems”, Design, Automation, Test in Europe (DATE), 2016.
N. Fern and K-T. Cheng. “Detecting Hardware Trojans in Unspecified Functionality Using Mutation Testing”, International Conference on Computer Aided Design (ICCAD), 2015.
N. Fern, S. Kulkarni, and K-T. Cheng. “Hardware Trojans Hidden in RTL Don’t Cares – Automated Insertion and Prevention Methodologies”, International Test Conference (ITC), 2015.