Ghadafi, Essam, "Formalizing group blind signatures and practical constructions without random oracles", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013