Work

Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification

Year: 2023

Type: conference-paper

Source: IFIP/IEEE International Conference on Very Large Scale Integration

DOI: 10.1109/vlsi-soc57769.2023.10321908

Authors: Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar

Institutions: Ain Shams University, Electronics Research Institute

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

FWCI: 0.464

Cites: 16

Cited by: 3

Related to: 10