Work

Efficient Method for Timing-based Information Flow Verification in Hardware Designs

Year: 2022

Type: conference-paper

Source: ACM Great Lakes Symposium on VLSI (GLSVLSI)

DOI: 10.1145/3526241.3530363

Authors: Khitam M. Alatoun, Ranga Vemuri

Institution: University of Cincinnati

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4281757538

FWCI: 0.314

Cites: 19

Cited by: 3

Related to: 10