Tracesecure: Towards privacy preserving contact tracing J Bell, D Butler, C Hicks, J Crowcroft
arXiv preprint arXiv:2004.04059, 2020
49 2020 SecureABC: secure antibody certificates for COVID-19 C Hicks, D Butler, C Maple, J Crowcroft
arXiv preprint arXiv:2005.11833, 2020
23 2020 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
14 2017 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
12 2021 On the Formalisation of Σ-Protocols and Commitment Schemes. D Butler, D Aspinall, A Gascón
POST, 175-196, 2019
12 2019 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
11 2020 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
2020 SecureABC: Secure AntiBody Certificates for COVID-19 (preprint) C Hicks, D Butler, C Maple, J Crowcroft
2020 TraceSecure: Towards Privacy Preserving Contact Tracing (preprint) J Bell, D Butler, C Hicks, J Crowcroft
2020 Differentially Private Health Tokens for Estimating COVID-19 Risk (preprint) D Butler, C Hicks, J Bell, C Maple, J Crowcroft
2020 Beyond COVID-19: Network science and sustainable exit strategies (preprint) J Bell, G Bianconi, D Butler, J Crowcroft, PCW Davies, C Hicks, H Kim, ...
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