Exploit Generation for Information Flow Leaks in Object-Oriented Programs.

Quoc Huy Do Richard Bubel Reiner Hähnle

Published in: SEC (2015)

Keyphrases

information flow
object oriented programs
integration testing
specification languages
flow analysis
social networks
information flows
communication networks
information security
impact analysis
functional modules
supply chain
flow graph
object oriented
black box
multi context systems
high level
decision making