research
∙
02/28/2022
Pippi: Practical Protocol Instantiation
A protocol specifies interactions between roles, which together constitu...
share
research
∙
04/16/2021
Hercule: Representing and Reasoning about Norms as a Foundation for Declarative Contracts over Blockchain
Current blockchain approaches for business contracts are based on smart ...
research
∙
01/24/2019
