Cryptology ePrint Archive: Report 2006/011
Available versions in chronological order
20060110:201041 (posted 10-Jan-2006 20:10:41 UTC)
Formal Proof for the Correctness of RSA-PSS
Christina Lindenberg and Kai Wirt and Johannes Buchmann
[
Cryptology ePrint archive
]