activity
20162022
most citedSound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)

2 citations · 2 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2020

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Christoph Sprenger, Tobias Klenze, Marco Eilers +4

Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have demonstrated that full verification of entire systems is feasible by establishing a refinement relation bet…