Teaching of
Michael Huth
C141 Reasoning About Programs
(for Joint Math/Computing students, Spring 2012)
C330 Network Security
Computing Topics Lecture on
Block Ciphers
