Introducing Distributed Ledger Security into System Specifications with the Isabelle RR-Cycle.

Florian Kammller

Browse the full ESORICS paper archive.