-
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin p...
read it
-
Resources: A Safe Language Abstraction for Money
Smart contracts are programs that implement potentially sophisticated tr...
read it

John C. Mitchell
is this you? claim profile