2:00 pm Hybrid Event Fredrickson, K. (CSE) – Practical Anonymity with Formal Resistance to Traffic Analysis