Research output
- 1 Conference contribution
Search results
-
2019
On the Formalisation of Σ-Protocols and Commitment Schemes
Butler, D., Aspinall, D. & Gascón, A., 3 Apr 2019, Principles of Security and Trust. POST 2019.. Nielson, F. & Sands , D. (eds.). Springer, p. 175-196 22 p. (Lecture Notes in Computer Science; vol. 11426).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile