Jake O'Shannessy

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Specification Languages

Production System

Top Venues

FM Workshops (1)

Publications

Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov
Formal specification of a security framework for smart contracts. CoRR (2020)
Mikhail Mandrykin, Jake O'Shannessy, Jacob Payne, Ilya Shchepetkov
Formal Specification of a Security Framework for Smart Contracts. FM Workshops (1) (2019)