31 citations · 33 across the 4 of their papers we have counts for
4 papers · 1 filter
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)…