On Symbolic Verification of Bitcoin's script Language.

Rick Klomp, Andrea Bracciali

Browse the full ESORICS paper archive.