Paper Info
Title
A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract.
Year
DOI
Venue
2020
10.4230/OASIcs.FMBC.2020.5
FMBC@CAV
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Colin Boyd128832.14
Kristian Gjøsteen202.70
Shuang Wu311216.94