Huang, Enyang
(Massachusetts Institute of Technology, 2012)
Formal analyses have been used for payment protocol design and verification but, despite developments in semantics and expressiveness, previous literature has placed little emphasis on the automation aspects of the proof ...