Data Study Group team. (2019, November 29). Data Study Group Final Report: Imperial College London, Los Alamos National Laboratory, Heilbronn Institute. Zenodo. http://doi.org/10.5281/zenodo.3558251
David Butler, Andreas Lochbihler, David Aspinall, Adria Gascon, Formalising Sigma-Protocols and Commitment Schemes using CryptHOL, Cryptography ePrint Archive, Report 2019/1185, https://eprint.iacr.org/2019/1185.pdf
Butler D., Aspinall D., Gascón A. (2019) On the Formalisation of Σ-Protocols and Commitment Schemes. In: Nielson F., Sands D. (eds) Principles of Security and Trust. POST 2019. Lecture Notes in Computer Science, vol 11426. Springer, Cham