Page Not Found
Page not found. Your pixels are in another canvas.
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Page not found. Your pixels are in another canvas.
This is a page not in th emain menu
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml
and set future: false
.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Published in ITP 2017, 2017
Recommended citation: David Butler, David Aspinall, Adria Gascon, . How to Simulate it in Isabelle: Towards Formal Verification of Multi-Party Computation. ITP 2017. https://arxiv.org/pdf/1805.12482.pdf
Published in FCS 2019', 2019
Recommended citation: David Butler, Andreas Lochbihler, David Aspinall, Adria Gascon, . Formalising Σ-Protocols and Commitment Schemes using CryptHOL. Cryptography ePrint 2019/1185. https://eprint.iacr.org/2019/1185.pdf
Published in POST 2019, 2019
Recommended citation: David Butler, David Aspinall, Adria Gascon, . On the Formalisation of Sigma-Protocols and Commitment Schemes. POST 2019. https://www.turing.ac.uk/sites/default/files/2019-04/butler2019_chapter_ontheformalisationofvarsigma-p.pdf
Published in Archive of Formal Proofs, 2019
Formalisation of MPC in Isabelle
Recommended citation: David Butler and David Aspinall, (2019). " Multi-Party Computation ." Archive of Formal Proofs.. https://www.isa-afp.org/entries/Multi_Party_Computation.html
Published in Archive of Formal Proofs, 2019
Formalisation of Sigma protocols and commitment schemes in Isabelle/HOL
Recommended citation: David Butler and Andreas Lochbihler, (2019). " Sigma Protocols and Commitment Schemes ." Archive of Formal Proofs.. https://www.isa-afp.org/entries/Sigma_Commit_Crypto.html
Published in CPP 2020', 2020
Recommended citation: David Butler, David Aspinall, Adria Gascon. Formalising Oblivious Transfer in the Semi Honest and Malicious Model in CryptHOL. To appear in CPP 2020. http://homepages.cs.ncl.ac.uk/charles.morisset/fcs2019/FCS_papers/FCS19_session_2_paper_2.pdf
Published in preprint', 2020
Recommended citation: David Butler, Chris Hicks, Carsten Maple, Jon Crowcroft. SecureABC: Secure AntiBody Certificates for COVID-19. Under review at IEEE Transactions on Technology and Society. http://homepages.cs.ncl.ac.uk/charles.morisset/fcs2019/FCS_papers/FCS19_session_2_paper_2.pdf
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.