activity
20202024
most citedIgloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

26 citations · 28 across the 3 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.CR2022

CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity

Marco Eilers, Thibault Dardinier, Peter Müller

Information flow security ensures that the secret data manipulated by a program does not influence its observable output. Proving information flow security is especially challengin…