This work reviews previous attempts at verifying two fundamental properties of blockchains: correctness and security. It categorizes the correctness and security flaws encountered by real-world blockchains. Then, it systematizes formal verification to address the flaws in blockchains, covering aspects of models, specifications, and techniques.
Read More
This work reviews previous attempts at verifying two fundamental properties of blockchains: correctness and security. It categorizes the correctness and security flaws encountered by real-world blockchains. Then, it systematizes formal verification to address the flaws in blockchains, covering aspects of models, specifications, and techniques.
Read Less
Add this copy of Security Analysis and Formal Verification on Blockchain to cart. $86.30, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2025 by Now Publishers.
