SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan Matthew Gregoire Cynthia Sturton

Published 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