Privacy

• Differential Privacy: Formal Guarantees, Composition Theorems, and the Engineering of Private Systems · 2025-08-12

  Build differential privacy from first principles: the formal (ε, δ)-definition, the Laplace and Gaussian mechanisms, composition theorems (basic and advanced), the sparse vector technique, and how to engineer practical private data systems at scale.

• Anonymous Communication: Onion Routing, Mix Networks, DC-Nets, and the Anonymity Trilemma · 2023-09-25

  A rigorous analysis of anonymous communication systems from Tor's onion routing through mix networks like Loopix and Nym to DC-nets, exploring the anonymity trilemma and traffic analysis resistance.

• Oblivious RAM and Private Information Retrieval: Hiding Access Patterns from the Storage Server · 2023-01-10

  A comprehensive tour of ORAM and PIR: the square-root construction, tree-based Path ORAM, computational and information-theoretic PIR schemes, and the fundamental lower bounds that constrain the overhead.

• Instrumenting Without Spying: Privacy-Preserving Telemetry at Scale · 2021-05-27

  How we rebuilt our telemetry pipeline to respect user privacy without sacrificing insight.