First-order Gradual Information Flow Types with Gradual Guarantees.

Abhishek Bichhawat McKenna McCall Limin Jia

Published in: CoRR (2020)

Keyphrases

information flow
flow analysis
social networks
information security
information flows
communication networks
functional modules
database
higher order
first order logic
flow graph