Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2020
Source ID
10.1109/blockchain50366.2020.00051

Entities

People

  • Advay Pal
  • John C. Mitchell
  • Max Digiacomo-castillo
  • Yiyun Liang

Organizations

  • Office of Naval Research