Formal verification makes RSA faster — and faster to deploy (via calvin) — discussion

#cryptography #formalmethods #performance