Follow
David Butler
David Butler
Postdoc at the Alan Turing Institute
Verified email at turing.ac.uk
Title
Cited by
Cited by
Year
Tracesecure: Towards privacy preserving contact tracing
J Bell, D Butler, C Hicks, J Crowcroft
arXiv preprint arXiv:2004.04059, 2020
492020
SecureABC: secure antibody certificates for COVID-19
C Hicks, D Butler, C Maple, J Crowcroft
arXiv preprint arXiv:2005.11833, 2020
232020
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
192021
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
142017
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
122021
On the Formalisation of Σ-Protocols and Commitment Schemes.
D Butler, D Aspinall, A Gascón
POST, 175-196, 2019
122019
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
112020
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
62020
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
42012
TraceSecure: Towards privacy preserving contact tracing. arXiv
J Bell, D Butler, C Hicks, J Crowcroft
42004
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
22019
Sigma protocols and commitment schemes
D Butler, A Lochbihler
Archive of Formal Proofs, 2019
22019
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
The system can't perform the operation now. Try again later.
Articles 1–20