TY  - RPRT
TI  - Instruction sequence expressions for the secure hash algorithm SHA-256
AU  - J. A. Bergstra
AU  - C. A. Middelburg
PY  - 2017
UR  - https://arxiv.org/abs/1308.0219
ID  - 1308.0219
ER  -