research
∙
08/30/2021
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types
A smart contract is a program executed on a blockchain, based on which m...
share
research
∙
04/29/2020
Compilation of Coordinated Choice
Recently, we have proposed coordinated choices, which are nondeterminist...
research
∙
08/08/2019
