16 citations · 53 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017★ 4 cited
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…
cs.DC2017★ 15 cited
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…