Formal Specification of a Security Framework for Smart Contracts.

Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov

Browse the full FM paper archive.