Fall 2013: Computer Science 347 - crypto