Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference.

Nicolas Berthier Narges Khakpour

Published in: VMCAI (2023)

Keyphrases

information flow
inference mechanism
social networks
flow analysis
communication networks
high level
information flows
bayesian networks
supply chain
multi threaded
information security
inference process
reactive systems
symbolic representation
flow graph
database systems
information propagation
information systems