16 citations · 53 across the 8 of their papers we have counts for
10 papers
Covid Notions: Towards Formal Definitions -- and Documented Understanding -- of Privacy Goals and Claimed Protection in Proximity-Tracing Services
Christiane Kuhn, Martin Beck, Thorsten Strufe
The recent SARS-CoV-2 pandemic gave rise to management approaches using mobile apps for contact tracing. The corresponding apps track individuals and their interactions, to facilit…
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…
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…
An Enhanced Approach to Cloud-based Privacy-preserving Benchmarking (Long Version)
Kilian Becher, Martin Beck, Thorsten Strufe
Benchmarking is an important measure for companies to investigate their performance and to increase efficiency. As companies usually are reluctant to provide their key performance…
PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols
Alexander Senier, Martin Beck, Thorsten Strufe
One single error can result in a total compromise of all security in today's large, monolithic software. Partitioning of software can help simplify code-review and verification, wh…
Privacy Preserving Stream Analytics: The Marriage of Randomized Response and Approximate Computing
Do Le Quoc, Martin Beck, Pramod Bhatotia +3
How to preserve users' privacy while supporting high-utility analytics for low-latency stream processing? To answer this question: we describe the design, implementation, and evalu…
VOUTE-Virtual Overlays Using Tree Embeddings
Stefanie Roos, Martin Beck, Thorsten Strufe
Friend-to-friend (F2F) overlays, which restrict direct communication to mutually trusted parties, are a promising substrate for privacy-preserving communication due to their inhere…
Enhanced TKIP Michael Attacks
Martin Beck
This paper presents new attacks against TKIP within IEEE 802.11 based networks. Using the known Beck-Tews attack, we define schemas to con- tinuously generate new keystreams, which…
Inference Control for Privacy-Preserving Genome Matching
Florian Kerschbaum, Martin Beck, Dagmar Schönfeld
Privacy is of the utmost importance in genomic matching. Therefore a number of privacy-preserving protocols have been presented using secure computation. Nevertheless, none of thes…
Approximate Two-Party Privacy-Preserving String Matching with Linear Complexity
Martin Beck, Florian Kerschbaum
Consider two parties who want to compare their strings, e.g., genomes, but do not want to reveal them to each other. We present a system for privacy-preserving matching of strings,…