Login / Signup
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity.
Marco Eilers
Thibault Dardinier
Peter Müller
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
information flow
concurrent programs
information security
flow analysis
communication networks
information flows
concurrent programming
social networks
supply chain
process algebra
access control
concurrent processes