HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by mpu | Hacker News Reader
Full thread
mpu
·
Writing the definition of sha 256 in Coq must have been of great fun, hehe.
View on HN
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.
Reply on news.ycombinator.com