David Butler*, Chris Hicks*, James Bell, Carsten Maple, Jon Crowcroft. Differentially Private Health Tokens for Estimating COVID-19 Risk. appeared in NDSS CoronaDef 2021.
Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL. David Butler, David Aspinall and Adria Gascon. To appear in CPP 2020.
David Butler, Andreas Lochbihler, David Aspinall, Adria Gascon, Formalising Sigma-Protocols and Commitment Schemes using CryptHOL, Cryptography ePrint Archive, Report 2019/1185, https://eprint.iacr.org/2019/1185.pdf
Kilbertus, N., Gascon, A., Kusner, M., Veale, M., Gummadi, K.P. & Weller, A.. (2018). Blind Justice: Fairness with Encrypted Sensitive Attributes. Proceedings of the 35th International Conference on Machine Learning, in PMLR 80:2635-2644