Information Flow Coverage Metrics for Hardware Security Verification.
Andres MezaRyan KastnerPublished in: CoRR (2023)
Keyphrases
- information flow
- information security
- social networks
- information flows
- low cost
- functional modules
- hardware designs
- flow graph
- flow analysis
- communication networks
- high security
- databases
- multi threaded
- supply chain
- integrity verification
- model checking
- emergency management
- information propagation
- information systems
- computer systems
- cryptographic protocols
- reactive systems