research
∙
03/27/2020
An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language
Some blockchain programs (smart contracts) have included serious securit...
share
research
∙
12/10/2019
