VERONICA: Expressive and Precise Concurrent Information Flow Security.

Daniel Schoepe Toby Murray Andrei Sabelfeld

Published in: CSF (2020)

Keyphrases

information flow
information security
flow analysis
social networks
multi threaded
information flows
supply chain
communication networks
flow graph
real world
databases
functional modules
reactive systems
data mining
smart card
multi context systems