David Butler

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 12

Top Topics

Privacy Preserving

Top Venues

IACR Cryptol. ePrint Arch.

Arch. Formal Proofs

Publications

David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL. J. Autom. Reason. 65 (4) (2021)
Chris Hicks, David Butler, Carsten Maple, Jon Crowcroft
SecureABC: Secure AntiBody Certificates for COVID-19. CoRR (2020)
James Bell, David Butler, Chris Hicks, Jon Crowcroft
TraceSecure: Towards Privacy Preserving Contact Tracing. CoRR (2020)
David Butler, David Aspinall, Adrià Gascón
Formalising oblivious transfer in the semi-honest and malicious model in CryptHOL. CPP (2020)
David Butler, Chris Hicks, James Bell, Carsten Maple, Jon Crowcroft
Differentially Private Health Tokens for Estimating COVID-19 Risk. CoRR (2020)
David Butler, David Aspinall, Adrià Gascón
On the Formalisation of Σ-Protocols and Commitment Schemes. POST (2019)
David Butler, Andreas Lochbihler
Sigma Protocols and Commitment Schemes. Arch. Formal Proofs 2019 (2019)
David Aspinall, David Butler
Multi-Party Computation. Arch. Formal Proofs 2019 (2019)
David Butler, Andreas Lochbihler, David Aspinall, Adrià Gascón
Formalising Σ-Protocols and Commitment Schemes using CryptHOL. IACR Cryptol. ePrint Arch. 2019 (2019)
David Butler, David Aspinall, Adrià Gascón
Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL. IACR Cryptol. ePrint Arch. 2019 (2019)
David Butler, David Aspinall, Adrià Gascón
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. CoRR (2018)
David Butler, David Aspinall, Adrià Gascón
How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation. ITP (2017)