Publications

N. Fern and K-T. Cheng.  “Mining Mutation Testing Simulation Traces for Security and Testbench Debugging“, International Conference on Computer Aided Design (ICCAD), 2017. Click here to view paper.

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. Click here to view paper.

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. Click here to order book.

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. Click here to view paper.

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. Click here to view paper.

N. Fern, Verification Techniques for Hardware Security, PhD thesis, University of California, Santa Barbara, June  2016. Click here to view thesis.

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. Click here to view paper.

N. Fern and K-T. Cheng. “Detecting Hardware Trojans in Unspecified Functionality Using Mutation Testing”, International Conference on Computer Aided Design (ICCAD), 2015. Click here to view paper.

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. Click here to view paper.

N. Lesperance*, S. Kulkarni, and K-T. Cheng, “Hardware Trojan Detection Using Exhaustive Testing of k-bit Subspaces”, Asia South-Pacific Design Automation Conference (ASP-DAC), 2015.  Click here to view paper.

N. Lesperance*, P. Lisherness, and K-T. Cheng, “Coverage Discounting: Improved Testbench Qualification by Combining Mutation Analysis with Functional Coverage”, SRC TechCon, 2013. Click here to view paper.

P. Lisherness, N. Lesperance*, and K-T. Cheng, “Mutation Analysis with Coverage Discounting”, Design, Automation Test in Europe (DATE), 2013. Click here to view paper.

N. Lesperance*, M. Leece, S. Matsumoto, M. Korbel, K. Lei, and Z. Dodds, “PixelLaser: Computing Range from Monocular Texture”, Advances in Visual Computing, LNCS 6455, pp. 151-160, 2010. Click here to view paper.


*Published under maiden name