Bayer, SGM; (2014) Practical zero-knowledge Protocols based on the discrete logarithm Assumption. Doctoral thesis , UCL (University College London).