Formal modelling and security analysis of bitcoin's payment protocol[J] COMPUTERS & SECURITY 2021(107) Modesti, Paolo Shahandashti, Siamak F. McCorry, Patrick Hao, Feng
ZombieCoin 2.0: managing next-generation botnets using Bitcoin[J] INTERNATIONAL JOURNAL OF INFORMATION SECURITY 2018(17) Ali, Syed Taha McCorry, Patrick Lee, Peter Hyun-Jeen Hao, Feng
