74 citations · 102 across the 6 of their papers we have counts for
7 papers
On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives
Sarah Sterz, Kevin Baum, Sebastian Biewer +4
Human oversight is currently discussed as a potential safeguard to counter some of the negative aspects of high-risk AI applications. This prompts a critical examination of the rol…
Software Doping Analysis for Human Oversight
Sebastian Biewer, Kevin Baum, Sarah Sterz +5
This article introduces a framework that is meant to assist in mitigating societal risks that software can pose. Concretely, this encompasses facets of software doping as well as u…
HoRStify: Sound Security Analysis of Smart Contracts
Sebastian Holler, Sebastian Biewer, Clara Schneidewind
The cryptocurrency Ethereum is the most widely used execution platform for smart contracts. Smart contracts are distributed applications, which govern financial assets and, hence,…
RTLola on Board: Testing Real Driving Emissions on your Phone
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns +3
This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild.…
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
Sebastian Biewer, Rayna Dimitrova, Michael Fries +4
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time-…
Doping Tests for Cyber-Physical Systems
Sebastian Biewer, Pedro D'Argenio, Holger Hermanns
The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doi…
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer +2
Usually, it is the software manufacturer who employs verification or testing to ensure that the software embedded in a device meets its main objectives. However, these days we are…