A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract.

Colin Boyd, Kristian Gjsteen, Shuang Wu

Browse the full CAV paper archive.