| Tracesecure: Towards privacy preserving contact tracing J Bell, D Butler, C Hicks, J Crowcroft arXiv preprint arXiv:2004.04059, 2020 | 57 | 2020 |
| SecureABC: secure antibody certificates for COVID-19 C Hicks, D Butler, C Maple, J Crowcroft arXiv preprint arXiv:2005.11833, 2020 | 23 | 2020 |
| Formalising -Protocols and Commitment Schemes Using CryptHOL D Butler, A Lochbihler, D Aspinall, A Gascón Journal of Automated Reasoning 65 (4), 521-567, 2021 | 20 | 2021 |
| Beyond COVID-19: network science and sustainable exit strategies J Bell, G Bianconi, D Butler, J Crowcroft, PCW Davies, C Hicks, H Kim, ... Journal of Physics: Complexity 2 (2), 021001, 2021 | 19 | 2021 |
| How to simulate it in isabelle: Towards formal proof for secure multi-party computation D Butler, D Aspinall, A Gascón Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 15 | 2017 |
| Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL D Butler, D Aspinall, A Gascón Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 13 | 2020 |
| On the Formalisation of Σ-Protocols and Commitment Schemes. D Butler, D Aspinall, A Gascón POST, 175-196, 2019 | 12 | 2019 |
| Differentially private health tokens for estimating COVID-19 risk D Butler, C Hicks, J Bell, C Maple, J Crowcroft arXiv preprint arXiv:2006.14329, 2020 | 6 | 2020 |
| Evaluation of Respiratory Inductive Plethysmography using the EMKABelt (Jacket) system in the conscious beagle dog S Purbrick, S Jordan, S Moore, D Butler, A French, D Jones, E Peake, ... Journal of Pharmacological and Toxicological Methods 2 (66), 183-184, 2012 | 4 | 2012 |
| TraceSecure: Towards privacy preserving contact tracing. arXiv J Bell, D Butler, C Hicks, J Crowcroft | 4 | 2004 |
| TraceSecure: Towards Privacy Preserving Contact Tracing. arXiv 2020 J Bell, D Butler, C Hicks, J Crowcroft arXiv preprint arXiv:2004.04059, 0 | 4 | |
| Multi-party computation D Aspinall, D Butler Archive of Formal Proofs, 2019 | 2 | 2019 |
| Sigma protocols and commitment schemes D Butler, A Lochbihler Archive of Formal Proofs, 2019 | 2 | 2019 |
| Formalising cryptography using CryptHOL. DT Butler The University of Edinburgh, 2020 | 1 | 2020 |
| Incorporation of cardiovascular safety pharmacology endpoints in toxicology studies in the minipig G McPhie, K Melliti, S Purbrick, D Butler, K Meecham Toxicology Letters, S219-S220, 2014 | | 2014 |
| SoK: Formalising Σ-Protocols and Commitment Schemes using CryptHOL D Butler, A Lochbihler, D Aspinall, A Gascón | | |
| Formalising Secure Multi-Party Computation in Isabelle D Butler | | |
Jon CrowcroftUniversity of CambridgeVerified email at cl.cam.ac.uk
