| 2023 | VTS | 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, Andres Meza, Kaki Ryan, Nicole Fern, Jasper Van Woudenberg, Rajesh Velegalati, Cees-Bart Breunesse, Cynthia Sturton, Calvin Deutschbein |
| 2021 | VTS | 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 |
| 2019 | DATE | Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots. | Nicole Fern, Kwang-Ting (Tim) Cheng |
| 2018 | ITC | Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security. | Nicole Fern, Kwang-Ting (Tim) Cheng |
| 2017 | ASPDAC | Detecting hardware Trojans in unspecified functionality through solving satisfiability problems. | Nicole Fern, Ismail San, Kwang-Ting (Tim) Cheng |
| 2017 | ICCAD | Mining mutation testing simulation traces for security and testbench debugging. | Nicole Fern, Kwang-Ting Cheng |
| 2016 | DATE | Hardware Trojans in incompletely specified on-chip bus systems. | Nicole Fern, Ismail San, etin Kaya Ko, Kwang-Ting Cheng |
| 2016 | FPL | Trojans modifying soft-processor instruction sequences embedded in FPGA bitstreams. | Ismail San, Nicole Fern, etin Kaya Ko, Kwang-Ting Cheng |
| 2015 | ICCAD | Detecting Hardware Trojans in Unspecified Functionality Using Mutation Testing. | Nicole Fern, Kwang-Ting (Tim) Cheng |
| 2015 | ITC | Hardware Trojans hidden in RTL don't cares - Automated insertion and prevention methodologies. | Nicole Fern, Shrikant Kulkarni, Kwang-Ting (Tim) Cheng |