3 ms·
Writing the definition of sha 256 in Coq must have been of great fun, hehe.
by mpu 11y ago
Writing the definition of sha 256 in Coq must have been of great fun, hehe.
- 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.