Login / Signup
Scalable Approximation of Quantitative Information Flow in Programs.
Fabrizio Biondi
Michael A. Enescu
Annelie Heuser
Axel Legay
Kuldeep S. Meel
Jean Quilbeuf
Published in:
VMCAI (2018)
Keyphrases
</>
information flow
social networks
communication networks
flow analysis
supply chain
information flows
information security
information systems
data warehouse
data integration
information diffusion
multi threaded
reactive systems
flow graph
multi context systems