Compositional Non-Interference for Fine-Grained Concurrent Programs.

Dan Frumin Robbert Krebbers Lars Birkedal

Published in: IEEE Symposium on Security and Privacy (2021)

Keyphrases

fine grained
concurrent programs
coarse grained
concurrent programming
tightly coupled
web applications
access control
process algebra
formal specification
information systems
natural language
data model
programming language
massively parallel
concurrent processes
data lineage