4 citations · 4 across the 3 of their papers we have counts for
6 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…
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,…