Yazar "San, İsmail" için Bildiri Koleksiyonu listeleme
-
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 ... -
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 ...