David Butler

13 papers B 2Journal 9Unranked 1

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