1. RIF: Reactive information flow labels;Journal of Computer Security;2020-03-17
2. Data Minimisation: A Language-Based Approach;ICT Systems Security and Privacy Protection;2017
3. Practical Detection of Entropy Loss in Pseudo-Random Number Generators;Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security;2016-10-24
4. Learning is Change in Knowledge: Knowledge-Based Security for Dynamic Policies;2012 IEEE 25th Computer Security Foundations Symposium;2012-06
5. Decentralized Delimited Release;Programming Languages and Systems;2011