1. Private Information Delivery;IEEE Transactions on Information Theory;2020-12
2. The Capacity of Anonymous Communications;IEEE Transactions on Information Theory;2019-06
3. Differential privacy in probabilistic systems;Information and Computation;2017-06
4. User Privacy in a World of Digital Surveillance;Human Rights and Digital Technology;2016-12-08
5. Security and Privacy of Protocols and Software with Formal Methods;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016