https://www.turing.ac.uk/people/doctoral-students/david-butler
This is an unofficial reimagining of the Archive of Formal Proofs
Sigma Protocols and Commitment Schemesby David Butler and Andreas Lochbihler
Multi-Party Computationby David Aspinall and David Butler