Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire.

William L. Harrison, Adam M. Procter, Gerard Allwein

Browse the full RSP paper archive.