Login / Signup
Nicole Fern
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 12
Top Topics
Special Session
Mutation Testing
Bitstream
Hardware Architecture
Top Venues
VTS
DATE
ICCAD
ITC
</>
Publications
</>
Pantea Kiaei
,
Yuan Yao
,
Zhenyuan Liu
,
Nicole Fern
,
Cees-Bart Breunesse
,
Jasper Van Woudenberg
,
Kate Gillis
,
Alex Dich
,
Peter Grossmann
,
Patrick Schaumont
Gate-Level Side-Channel Leakage Ranking With Architecture Correlation Analysis.
IEEE Trans. Emerg. Top. Comput.
12 (2) (2024)
Sohrab Aftabjahani
,
Mark M. 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
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.
VTS
(2023)
Pantea Kiaei
,
Yuan Yao
,
Zhenyuan Liu
,
Nicole Fern
,
Cees-Bart Breunesse
,
Jasper Van Woudenberg
,
Kate Gillis
,
Alex Dich
,
Peter Grossmann
,
Patrick Schaumont
Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis.
CoRR
(2022)
Saumil Gogri
,
Priya Joshi
,
Prashant Vurikiti
,
Nicole Fern
,
Michael Quinn
,
Jonathan Valamehr
Texas A&M Hackin' Aggies' Security Verification Strategies for the 2019 Hack@DAC Competition.
IEEE Des. Test
38 (1) (2021)
Sohrab Aftabjahani
,
Ryan Kastner
,
Mark M. Tehranipoor
,
Farimah Farahmandi
,
Jason Oberg
,
Anders Nordstrom
,
Nicole Fern
,
Alric Althoff
Special Session: CAD for Hardware Security - Automation is Key to Adoption of Solutions.
VTS
(2021)
Nicole Fern
,
Kwang-Ting (Tim) Cheng
Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots.
DATE
(2019)
Nicole Fern
,
Kwang-Ting (Tim) Cheng
Pre-silicon Formal Verification of JTAG Instruction Opcodes for Security.
ITC
(2018)
Nicole Fern
,
Kwang-Ting Cheng
Mining mutation testing simulation traces for security and testbench debugging.
ICCAD
(2017)
Nicole Fern
,
Ismail San
,
Çetin Kaya Koç
,
Kwang-Ting (Tim) Cheng
Hiding Hardware Trojan Communication Channels in Partially Specified SoC Bus Functionality.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
36 (9) (2017)
Nicole Fern
,
Ismail San
,
Kwang-Ting (Tim) Cheng
Detecting hardware Trojans in unspecified functionality through solving satisfiability problems.
ASP-DAC
(2017)
Ismail San
,
Nicole Fern
,
Çetin Kaya Koç
,
Kwang-Ting Cheng
Trojans modifying soft-processor instruction sequences embedded in FPGA bitstreams.
FPL
(2016)
Nicole Fern
,
Ismail San
,
Çetin Kaya Koç
,
Kwang-Ting Cheng
Hardware Trojans in incompletely specified on-chip bus systems.
DATE
(2016)
Nicole Fern
,
Shrikant Kulkarni
,
Kwang-Ting (Tim) Cheng
Hardware Trojans hidden in RTL don't cares - Automated insertion and prevention methodologies.
ITC
(2015)
Nicole Fern
,
Kwang-Ting (Tim) Cheng
Detecting Hardware Trojans in Unspecified Functionality Using Mutation Testing.
ICCAD
(2015)