Detecting Hardware Trojans in Unspecified Functionality Using Mutation Testing. - Nicole Fern; Kwang-Ting (Tim) Cheng (ICCAD, 2015)

Hardware Trojans hidden in RTL don't cares - Automated insertion and prevention methodologies. - Nicole Fern; Shrikant Kulkarni; Kwang-Ting (Tim) Cheng (ITC, 2015)

Hardware Trojans in incompletely specified on-chip bus systems. - Nicole Fern; Ismail San; Çetin Kaya Koç; Kwang-Ting Cheng (DATE, 2016)

Trojans modifying soft-processor instruction sequences embedded in FPGA bitstreams. - Ismail San; Nicole Fern; Çetin Kaya Koç; Kwang-Ting Cheng (FPL, 2016)

Verification Techniques for Hardware Security. - Nicole Chan Fern (2016)

Detecting hardware Trojans in unspecified functionality through solving satisfiability problems. - Nicole Fern; Ismail San; Kwang-Ting (Tim) Cheng (ASP-DAC, 2017)

Mining mutation testing simulation traces for security and testbench debugging. - Nicole Fern; Kwang-Ting Cheng (ICCAD, 2017)

Hiding Hardware Trojan Communication Channels in Partially Specified SoC Bus Functionality. - Nicole Fern; Ismail San; Çetin Kaya Koç; Kwang-Ting (Tim) Cheng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security. - Nicole Fern; Kwang-Ting (Tim) Cheng (ITC, 2018)

Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots. - Nicole Fern; Kwang-Ting (Tim) Cheng (DATE, 2019)

Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions. - Sohrab Aftabjahani; Ryan Kastner; Mark Tehranipoor; Farimah Farahmandi; Jason Oberg; Anders Nordstrom; Nicole Fern; Alric Althoff (VTS, 2021)

Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition. - Saumil Gogri; Priya Joshi; Prashant Vurikiti; Nicole Fern; Michael Quinn; Jonathan Valamehr (IEEE Des. Test, 2021)

Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis. - Pantea Kiaei; Yuan Yao; Zhenyuan Liu; Nicole Fern; Cees-Bart Breunesse; Jasper Van Woudenberg; Kate Gillis; Alex Dich; Peter Grossmann; Patrick Schaumont (CoRR, 2022)

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. - Sohrab Aftabjahani; Mark Tehranipoor; Farimah Farahmandi; Bulbul Ahmed; Ryan Kastner; Francesco Restuccia 002; Andres Meza 001; Kaki Ryan; Nicole Fern; Jasper Van Woudenberg; Rajesh Velegalati; Cees-Bart Breunesse; et al. (VTS, 2023)

Gate-Level Side-Channel Leakage Ranking With Architecture Correlation Analysis. - Pantea Kiaei; Yuan Yao; Zhenyuan Liu; Nicole Fern; Cees-Bart Breunesse; Jasper Van Woudenberg; Kate Gillis; Alex Dich; Peter Grossmann; Patrick Schaumont (IEEE Trans. Emerg. Top. Comput., 2024)