TY  - RPRT
TI  - Formal specification of a security framework for smart contracts
AU  - Mikhail Mandrykin
AU  - Jake O'Shannessy
AU  - Jacob Payne
AU  - Ilya Shchepetkov
PY  - 2020
UR  - https://arxiv.org/abs/2001.04314
ID  - 2001.04314
ER  -