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