David Butler

David Butler

Postdoc at the Alan Turing Institute

Publications

This page contains all my publications; for more details, see my Google Scholar profile or my DBLP profile.

Preprints

  • D. Butler, C. Hicks, C. Maple, J. Crowcroft (2020). SecureABC: Secure AntiBody Certificates for COVID-19 (Preprint). Under review at IEEE Transactions on Technology and Society.
  • D. Butler, C. Hicks, J. Bell, J. Crowcroft (2020). TraceSecure: Towards Privacy Preserving Contact Tracing (Preprint).

Published Papers

  • D. Butler, C. Hicks, J. Bell, C. Maple, J. Crowcroft. Differentially Private Health Tokens for Estimating COVID-19 Risk. To appear in NDSS CoronaDef 2021. (Conference)

  • D. Butler, A. Lochbihler, D. Apsinall, A Gascon (2019). Formalising Σ-Protocols and Commitment Schemes using CryptHOL. Journal of Automated Reasoning 2020. (Journal)

  • D. Butler, D. Aspinall, A. Gascón. Formalising Oblivious Transfer in the Semi Honest and Malicious Model in CryptHOL. CPP 2020. (Conference)

  • D. Butler, D. Aspinall, A. Gascón. On the Formalisation of Σ-Protocols and Commitment Schemes. POST 2019: 175-196. (Conference)

  • D. Butler, D. Aspinall, A. Gascón. ITP 2017: 114-130 How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. ITP 2017: 114-130 (Conference)

Archive of Formal Proofs

  • D. Butler, A. Lochbihler. Sigma Protocols and Commitment Schemes. Archive of Formal Proofs 2019 (2019). (Formalisation)

  • D. Butler, D. Aspinall. Multi-Party Computation. Archive of Formal Proofs 2019 (2019) (Formalisation)