Chaussette: A Symbolic Verification of Bitcoin Scripts.

Vincent Jacquot, Benoit Donnet

Browse the full ESORICS paper archive.