All Stories

  1. Privacy Loss Classes: The Central Limit Theorem in Differential Privacy
  2. PrivacyBuDe
  3. Anonymity Trilemma: Strong Anonymity, Low Bandwidth Overhead, Low Latency - Choose Two
  4. Tight on Budget?
  5. AnoA: A Framework for Analyzing Anonymous Communication Protocols
  6. Understanding how cryptography should be dealt with in Android Applications
  7. Symbolic Malleable Zero-Knowledge Proofs
  8. TUC: Time-Sensitive and Modular Analysis of Anonymous Communication
  9. Zero-Communication Seed Establishment for Anti-Jamming Techniques
  10. Computational Soundness Results for ProVerif
  11. AnoA: A Framework for Analyzing Anonymous Communication Protocols
  12. Provably Secure and Practical Onion Routing
  13. Ace