Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version).

Nicolas Berthier Narges Khakpour

Published in: CoRR (2022)

Keyphrases

information flow
inference mechanism
flow analysis
high level
information flows
communication networks
social networks
flow graph
information security
order sorted logic
functional modules
supply chain
inference process
greedy algorithm
data warehouse
data analysis
case study