Formal specification of a security framework for smart contracts

Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne +1

As smart contracts are growing in size and complexity, it becomes harder and harder to ensure their correctness and security. Due to the lack of isolation mechanisms a single mista…