..

Verification of a Cryptographic Primitive SHA-256 (2015) - Appel.pdf.gz