1. Lect Notes Comput Sci;M. Bellare,1994
2. Lect Notes Comput Sci;M. Bellare,1996
3. Lect Notes Comput Sci;D. Boneh,2001
4. Lect Notes Comput Sci;D. Boneh,2001
5. D. Brown and D. Johnson. Formal Security Proofs for a Signature Scheme with Partial Message Recovery. 2000. Available at
http://www.cacr.math.uwaterloo.ca/techreports/2000/corr2000-39.pdf
.