Complete RSA-PSS proof #38
Description
The current proof of RSA-PSS is missing a few elements:
- Verification of RSA (and padding) at 3072 bits.
- Verification of key generation, including primality testing.
- Verification of modular arithmetic
At the moment, the RSA-PSS proof is not included in the top-level README files due to these missing elements.