On the Formalisation of Σ-Protocols and Commitment Schemes

David Butler, David Aspinall, Adrià Gascón

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Projects