1. The logic of secrets and the interpolation rule;Annals of Mathematics and Artificial Intelligence;2022-10-10
2. Proof Search and Certificates for Evidential Transactions;Automated Deduction – CADE 28;2021
3. SoK;Proceedings of the 19th Workshop on Privacy in the Electronic Society;2020-11-09
4. Proof-Carrying Network Code;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06
5. Visually Identifying Potential Sensitive Information Leaks in Access-Controlled Data Services;2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2019-05