2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CY2023★ 2 cited
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…
cs.CR2023
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,…