David Butler

David Butler

The Alan Turing Institute - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 4537809
-
person_outline David Butler's MOST POPULAR ARTICLES
1-) Tracesecure: Towards privacy preserving contact tracingJ Bell, D Butler, C Hicks, J CrowcroftarXiv preprint arXiv:2004.04059, 2020492020
2-) SecureABC: secure antibody certificates for COVID-19C Hicks, D Butler, C Maple, J CrowcroftarXiv preprint arXiv:2005.11833, 2020232020
3-) Beyond COVID-19: network science and sustainable exit strategiesJ Bell, G Bianconi, D Butler, J Crowcroft, PCW Davies, C Hicks, H Kim, ...Journal of Physics: Complexity 2 (2), 021001, 2021192021
4-) Formalising -Protocols and Commitment Schemes Using CryptHOLD Butler, A Lochbihler, D Aspinall, A GascónJournal of Automated Reasoning 65 (4), 521-567, 2021172021
5-) How to simulate it in isabelle: Towards formal proof for secure multi-party computationD Butler, D Aspinall, A GascónInteractive Theorem Proving: 8th International Conference, ITP 2017 …, 2017152017