research
∙
07/12/2022
Mechanizing Refinement Types (extended)
Practical checkers based on refinement types use the combination of impl...
share
research
∙
10/14/2020
Towards Cross-Blockchain Smart Contracts
In recent years, manifold blockchain protocols have been proposed by res...
research
∙
05/15/2019
DeXTT: Deterministic Cross-Blockchain Token Transfers
Current blockchain technologies provide very limited interoperability. R...
research
∙
05/15/2019
A Framework for Blockchain Interoperability and Runtime Selection
The suitability of a particular blockchain for a given use case depends ...
research
∙
05/15/2019
Blockchain-based Data Provenance for the Internet of Things
As more and more applications and services depend on data collected by I...
research
∙
12/22/2017