research
∙
12/18/2020
On Finality in Blockchains
There exist many forms of Blockchain finality conditions, from determini...
share
research
∙
10/23/2018
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft
The paper presents Pluralize a formal logical framework able to extend t...
research
∙
09/26/2018
