Synthesizing Correct-by-Construction Assembly for Cryptographic Primitives in Fiat
-----

... which would make a good paper title.

To build:

    ln -s <FIAT_DIR> fiat
    (cd fiat && make fiat-core)
    make