activity
20192022
most citedSoK: Delegation and Revocation, the Missing Links in the Web's Chain of Trust

30 citations · 58 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2020★ 26 cited

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…