30 citations · 109 across the 25 of their papers we have counts for
4 papers · 1 filter
Breaking and (Partially) Fixing Provably Secure Onion Routing
Christiane Kuhn, Martin Beck, Thorsten Strufe
After several years of research on onion routing, Camenisch and Lysyanskaya, in an attempt at rigorous analysis, defined an ideal functionality in the universal composability model…
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers
Tobias Reiher, Alexander Senier, Jeronimo Castrillon +1
Various vulnerabilities have been found in message parsers of protocol implementations in the past. Even highly sensitive software components like TLS libraries are affected regula…
On Privacy Notions in Anonymous Communication
Christiane Kuhn, Martin Beck, Stefan Schiffner +2
Many anonymous communication networks (ACNs) with different privacy goals have been developed. However, there are no accepted formal definitions of privacy and ACNs often define th…
Attack-resistant Spanning Tree Construction in Route-Restricted Overlay Networks
Martin Byrenheid, Stefanie Roos, Thorsten Strufe
Nodes in route-restricted overlays have an immutable set of neighbors, explicitly specified by their users. Popular examples include payment networks such as the Lightning network…