31 citations · 34 across the 5 of their papers we have counts for
5 papers
Accountability of Things: Large-Scale Tamper-Evident Logging for Smart Devices
David Koisser, Ahmad-Reza Sadeghi
Our modern world relies on a growing number of interconnected and interacting devices, leading to a plethora of logs establishing audit trails for all kinds of events. Simultaneous…
Don't Shoot the Messenger: Localization Prevention of Satellite Internet Users
David Koisser, Richard Mitev, Marco Chilese +1
Satellite Internet plays an increasingly important role in geopolitical conflicts. This notion was affirmed in the Ukrainian conflict escalating at the beginning of 2022, with the…
POSE: Practical Off-chain Smart Contract Execution
Tommaso Frassetto, Patrick Jauernig, David Koisser +4
Smart contracts enable users to execute payments depending on complex program logic. Ethereum is the most notable example of a blockchain that supports smart contracts leveraged fo…
V'CER: Efficient Certificate Validation in Constrained Networks
David Koisser, Patrick Jauernig, Gene Tsudik +1
We address the challenging problem of efficient trust establishment in constrained networks, i.e., networks that are composed of a large and dynamic set of (possibly heterogeneous)…
GrandDetAuto: Detecting Malicious Nodes in Large-Scale Autonomous Networks
Tigist Abera, Ferdinand Brasser, Lachlan J. Gunn +3
Autonomous collaborative networks of devices are rapidly emerging in numerous domains, such as self-driving cars, smart factories, critical infrastructure, and Internet of Things i…