Login
Roast topics
Find topics
Find it!
From:
Amazon Science
(Uncensored)
subscribe
Formal verification makes RSA faster — and faster to deploy - Amazon Science
https://www.amazon.science/blog/formal-verification-makes-rsa-faster-and-faster-to-deploy
links
backlinks
Tagged with:
performance
cryptography
formalmethods
formal verification
Roast topics
Find topics
Roast it!
Optimizations for Amazon's Graviton2 chip boost efficiency, and formal verification shortens development time.
