1. Group Anonymity in Security Protocols;Proceedings of the 2018 Federated Conference on Computer Science and Information Systems;2018-09-26
2. Two Cents for Strong Anonymity: The Anonymous Post-office Protocol;Cryptology and Network Security;2018
3. On compositional reasoning about anonymity and privacy in epistemic logic;Annals of Mathematics and Artificial Intelligence;2016-07-04
4. Conditional anonymity with non-probabilistic adversary;Information Sciences;2015-12
5. On the limits of provable anonymity;Proceedings of the 12th ACM workshop on Workshop on privacy in the electronic society;2013-11-04