SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs.
Kaki RyanMatthew GregoireCynthia SturtonPublished in: HASP@MICRO (2023)
Keyphrases
- information flow
- symbolic execution
- hardware designs
- static analysis
- test generation
- test data generation
- specification language
- source code
- communication networks
- social networks
- model based diagnosis
- information flows
- information security
- flow graph
- data flow
- supply chain
- databases
- evolutionary algorithm
- information systems
- database
- simulated annealing algorithm
- regular expressions
- test cases
- decision making