Convert AES to a literate spec

GaloisInc / cryptol-specs

A central repository for specifications of cryptographic algorithms in Cryptol

BSD 3-Clause "New" or "Revised" License

30 stars 6 forks source link

Convert AES to a literate spec #91

Open marsella opened 2 months ago

marsella commented 2 months ago

The AES implementation is not currently a literate spec (although it follows closely with the original NIST spec. Our gold standard expects all of our popular specs to be Literate.

[ ] Try to get the original latex document for the spec
[ ] Convert existing spec to be literate
[ ] Make sure the instantiations and tests still work (for AES in particular)

marsella commented 2 weeks ago

There is reportedly a literate version of this in the libvcrypt (see #31).