Mechanized Type Safety for Gradual Information Flow.

Tianyu Chen Jeremy G. Siek

Published in: SP Workshops (2021)

Keyphrases

information flow
flow analysis
information flows
communication networks
social networks
functional modules
information security
multi threaded
databases
data analysis
data model
intrusion detection
information diffusion
flow graph