Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.

Sergiu Bursuc, Steve Kremer

Browse the full ESORICS paper archive.