Information Flow Coverage Metrics for Hardware Security Verification

Andres Meza, Ryan Kastner

Security graphs model attacks, defenses, mitigations, and vulnerabilities on computer networks and systems. With proper attributes, they provide security metrics using standard gra…