research
∙
08/11/2023
Software Doping Analysis for Human Oversight
This article introduces a framework that is meant to assist in mitigatin...
share
research
∙
01/31/2023
HoRStify: Sound Security Analysis of Smart Contracts
The cryptocurrency Ethereum is the most widely used execution platform f...
research
∙
11/09/2021
RTLola on Board: Testing Real Driving Emissions on your Phone
This paper is about shipping runtime verification to the masses. It pres...
research
∙
12/07/2020
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
We present a novel and generalised notion of doping cleanness for cyber-...
research
∙
04/18/2019