3 ms·
"Verification of a Cryptographic Primitive: SHA-256", Andrew Appel https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf https://www.cs.princeton.edu/~appel
by YAYERKA 11y ago
"Verification of a Cryptographic Primitive: SHA-256", Andrew Appel
https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf
- nickpsecurity 11y agoThanks for the link. I always enjoy reading Appel's work.