[YAYERKA]

"Verification of a Cryptographic Primitive: SHA-256", Andrew Appel

https://www.cs.princeton.edu/~appel/papers/verif-sha.pdf

[nickpsecurity]

Thanks for the link. I always enjoy reading Appel's work.