research
∙
09/06/2022
From Legal Contracts to Legal Calculi: the code-driven normativity
Using dedicated software to represent or enact legislation or regulation...
share
research
∙
10/21/2021
Pacta sunt servanda: legal contracts in Stipula
There is a growing interest in running legal contracts on digital system...
research
∙
07/05/2019
Solidity 0.5: when typed does not mean type safe
The recent release of Solidity 0.5 introduced a new type to prevent Ethe...
research
∙
03/06/2013
