New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Complete RSA-PSS proof #38

Open

apetcher-amazon opened this issue Feb 17, 2021 · 0 comments

Contributor

apetcher-amazon commented Feb 17, 2021

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.

# for free to join this conversation on GitHub. Already have an account? # to comment