Value-Dependent Information-Flow Security on Weak Memory Models.

Graeme Smith Nicholas Coughlin Toby Murray

Published in: FM (2019)

Keyphrases

information flow
information security
probabilistic model
functional modules
multi threaded
reactive systems
information flows
decision making
communication networks
security issues
information diffusion
flow analysis