Verifying information flow properties of firmware using symbolic execution.

Pramod Subramanyan Sharad Malik Hareesh Khattri Abhranil Maiti Jason M. Fung

Published in: DATE (2016)

Keyphrases

information flow
symbolic execution
information flows
flow analysis
communication networks
static analysis
operating system
information security
test data generation
social networks
source code
supply chain
test generation
computer systems
general purpose
data flow
database
data mining
real world
databases