Work

Towards Property Driven Hardware Security

Year: 2016

Type: conference-paper

Source: International Workshop on Microprocessor and SOC Test and Verification (MTV)

DOI: 10.1109/mtv.2016.12

Authors: Wei Hu, Alric Althoff, Armaiti Ardeshiricham, Ryan Kastner

Institution: University of California San Diego

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

OpenAlex ID: W2602633208

FWCI: 0.539

Cites: 23

Cited by: 33

Related to: 10