research
∙
02/28/2022
Pippi: Practical Protocol Instantiation
A protocol specifies interactions between roles, which together constitu...
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
A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines
Important Web applications are social machines in that they they involve...
research
∙
01/08/2018
Violable Contracts and Governance for Blockchain Applications
We examine blockchain technologies, especially smart contracts, as a pla...
research
∙
08/10/2017