Machine-Checked Proofs of Accountability: How to sElect Who is to Blame.

Constantin Catalin Dragan, Franois Dupressoir, Kristian Gjsteen, Thomas Haines, Peter B. Rnne, Morten Rotvold Solberg

Browse the full ESORICS paper archive.