Security Proofs for the RSA-PSS Signature Scheme and Its Variants