David Butler

Orcid: 0000-0003-2599-0736

Affiliations:

The Alan Turing Institute, British Library, London, UK

According to our database¹, David Butler authored at least 11 papers between 2017 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2021

Formalising $\varSigma$-Protocols and Commitment Schemes Using CryptHOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

2020

Formalising cryptography using CryptHOL.

[BibT_eX]

[DOI]

David Butler

PhD thesis, 2020

Differentially Private Health Tokens for Estimating COVID-19 Risk.

[BibT_eX]

[DOI]

CoRR, 2020

SecureABC: Secure AntiBody Certificates for COVID-19.

[BibT_eX]

[DOI]

CoRR, 2020

TraceSecure: Towards Privacy Preserving Contact Tracing.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Formalising Σ-Protocols and Commitment Schemes using CryptHOL.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Formalising Oblivious Transfer in the Semi-Honest and Malicious Model in CryptHOL.

[BibT_eX]

[DOI]

David Butler

David Aspinall

Adrià Gascón

IACR Cryptol. ePrint Arch., 2019

Sigma Protocols and Commitment Schemes.

[BibT_eX]

[DOI]

David Butler

Andreas Lochbihler

Arch. Formal Proofs, 2019

Multi-Party Computation.

[BibT_eX]

[DOI]

David Aspinall

David Butler

Arch. Formal Proofs, 2019

On the Formalisation of Σ-Protocols and Commitment Schemes.

[BibT_eX]

[DOI]

David Butler

David Aspinall

Adrià Gascón

Proceedings of the Principles of Security and Trust - 8th International Conference, 2019

2017

How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation.

[BibT_eX]

[DOI]

David Butler

David Aspinall

Adrià Gascón

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017

David Butler

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...