History log of /seL4-l4v-master/HOL4/examples/Crypto/MARS/MARSScript.sml
Revision Date Author Comments
# 0fee08a1 10-Jun-2009 Michael Norrish <Michael.Norrish@nicta.com.au>

Get the Crypto/MARS example to build once more.
# 02b9d2ff 14-May-2008 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update to using wordsTheory.
# 657d6095 22-Jul-2005 Konrad Slind <konrad.slind@gmail.com>

Minor tweaks.
# 91d69bc4 17-Jul-2005 Konrad Slind <konrad.slind@gmail.com>

Case studies in Crypto verification: AES,IDEA,RC6,Twofish,Serpent,MARS,
TEA. Also, CBC mode of operation.