Various stuff related to my CS crypto course.