Information-flow types for homomorphic encryptions.

Cédric Fournet Jérémy Planul Tamara Rezk

Published in: CCS (2011)

Keyphrases

information flow
flow analysis
social networks
information flows
flow graph
communication networks
decision making
functional modules
data mining
case study
data warehouse
random walk
information security
reactive systems
multi context systems