Work

Hardware Trojans detection through automatic properties extraction and formal verification

Year: 2025

Type: article

Source: Springer Link (Chiba Institute of Technology)

DOI: 10.1051/jnwpu/20254340813/pdf

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: W7127108237

FWCI:

Cites:

Cited by:

Related to: