Formal Specification of a Security Framework for Smart Contracts. - Mikhail Mandrykin; Jake O'Shannessy; Jacob Payne; Ilya Shchepetkov (FM Workshops (1), 2019)