Browsing by Author "Fern, Nicole"
Now showing items 1-5 of 5
-
Detecting Hardware Trojans in Unspecified Functionality Through Solving Satisfiability Problems
Fern, Nicole; San, İsmail; Cheng, Kwang-Ting (Tim) (IEEE, 2017)For modern complex designs it is impossible to fully specify design behavior, and only feasible to verify functionally meaningful scenarios. Hardware Trojans modifying only unspecified functionality are not possible to ... -
Hardware Trojans in Incompletely Specified On-chip Bus Systems
Fern, Nicole; San, İsmail; Koç, Çetin Kaya; Cheng, Kwang-Ting (Tim) (IEEE, 2016)The security, functionality, and performance of the on-chip bus system is critical in an SoC design. We highlight the susceptibility of current bus implementations to Hardware Trojans hiding in unspecified functionality. ... -
Hardware Trojans in incompletely specified on-chip bus systems
Fern, Nicole; San, İsmail; Koç, Çetin Kaya; Cheng, Kwang-Ting (Tim) (Institute of Electrical and Electronics Engineers Inc., 2016)The security, functionality, and performance of the on-chip bus system is critical in an SoC design. We highlight the susceptibility of current bus implementations to Hardware Trojans hiding in unspecified functionality. ... -
Hiding Hardware Trojan Communication Channels in Partially Specified SoC Bus Functionality
Fern, Nicole; San, İsmail; Koç, Çetin Kaya; Cheng, Kwang-Ting (Tim) (IEEE-Inst Electrical Electronics Engineers Inc, 2017)On-chip bus implementations must be bug-free and secure to provide the functionality and performance required by modern system-on-a-chip (SoC) designs. Regardless of the specific topology and protocol, bus behavior is never ... -
Trojans Modifying Soft-Processor Instruction Sequences Embedded in FPGA Bitstreams
San, İsmail; Fern, Nicole; Koç, Çetin Kaya; Cheng, Kwang-Ting (Tim) (IEEE, 2016)Reconfigurable platforms such as FPGAs and CPLDs are used to implement flexible and lightweight embedded systems often using soft-processors and a fixed instruction sequence stored in block memories. The bitstream format ...
