How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation
David Butler, David Aspinall, Adria Gascon, . How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation. ITP 2017.
David Butler, David Aspinall, Adria Gascon, . How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation. ITP 2017.
David Butler, Andreas Lochbihler, David Aspinall, Adria Gascon, . Formalising Σ-Protocols and Commitment Schemes using CryptHOL. Cryptography ePrint 2019/1185.
David Butler, David Aspinall, Adria Gascon, . On the Formalisation of Sigma-Protocols and Commitment Schemes. POST 2019.
David Butler and David Aspinall, (2019). " Multi-Party Computation ." Archive of Formal Proofs..
David Butler and Andreas Lochbihler, (2019). " Sigma Protocols and Commitment Schemes ." Archive of Formal Proofs..
David Butler, David Aspinall, Adria Gascon. Formalising Oblivious Transfer in the Semi Honest and Malicious Model in CryptHOL. To appear in CPP 2020.
David Butler, Chris Hicks, Carsten Maple, Jon Crowcroft. SecureABC: Secure AntiBody Certificates for COVID-19. Under review at IEEE Transactions on Technology and Society.
Talk at UC San Francisco, Department of Testing, San Francisco, California
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk at London School of Testing, London, UK
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA