Work

Enhancing Trojan Detection by Finding LTL and Taint Properties in RTL Circuit Designs: A Case Study

Year: 2017

Type: conference-paper

Source: International Conference on Computational Science and Computational Intelligence (CSCI)

DOI: 10.1109/csci.2017.13

Authors: Juan Portillo, Eugene John

Institution: The University of Texas at San Antonio

Language: English

Topic: Physical Unclonable Functions (PUFs) and Hardware Security

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2905421826

FWCI: 0.194

Cites: 24

Cited by: 2

Related to: 10