research
∙
12/04/2021
Towards automated verification of multi-party consensus protocols
Blockchain technology and related frameworks have recently received exte...
share
research
∙
09/07/2021
Statistical Model Checking of Common Attack Scenarios on Blockchain
Blockchain technology has developed significantly over the last decade. ...
research
∙
07/26/2021
MLDev: Data Science Experiment Automation and Reproducibility Software
In this paper we explore the challenges of automating experiments in dat...
research
∙
01/14/2021