A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic
[article]
2020
arXiv
pre-print
Decentralized techniques are becoming crucial and ubiquitous with the rapid advancement of distributed ledger technologies such as the blockchain. Numerous decentralized systems have been developed to address security and privacy issues with great dependability and reliability via these techniques. Meanwhile, formalization and verification of the decentralized systems is the key to ensuring correctness of the design and security properties of the implementation. In this paper, we propose a
arXiv:2008.08245v1
fatcat:kq7usjbswfd37mbltmst2fie7a