Analyzing Threats and Detecting Trojans Through Formal Analysis in a Semiconductor 3PIP
Year: 2025
Type: conference-paper
DOI: 10.4271/2025-01-8085
Authors: Gulam Ashrafi, Chris Dunn, Fred Roberts
Institution: Synopsys (United States)
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4409017415
