Uncovering Information Flow Policy Violations in C Programs (Extended Abstract).

Darion Cassel Yan Huang Limin Jia

Published in: ESORICS (2) (2019)

Keyphrases

extended abstract
information flow
flow analysis
information flows
social networks
communication networks
information security
functional modules
optimal policy
reactive systems
databases
data analysis
supply chain
database management systems
information propagation
flow graph