@Misc{Lindenberg:FPCRSAPSS06,
  author =       "Christina Lindenberg and Kai Wirt and Johannes
                 Buchmann",
  title =        "Formal Proof for the Correctness of {RSA}-{PSS}",
  howpublished = "Cryptology ePrint Archive, Report 2006/011",
  year =         "2006",
  ee =           "http://eprint.iacr.org/2006/011",
}