History log of /seL4-l4v-10.1.1/HOL4/examples/Crypto/IDEA/idea.with.axiom
Revision Date Author Comments
# 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.