CS 590N

Logical Methods for Information Security

Spring 2008



The first half of this course will be lectures on logic, mostly following the textbook. The second half will be student presentations of research papers that use logical methods in information security.

Textbook and Other Materials:    

  • Learning Prolog Now by Patrick Blackburn, Johan Bos, and Kristina Striegnitz
  • Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition.  Michael Huth and Mark Ryan.
  • Papers


  • Time: MWF 10:30 to 11:20
  • Location:  LWSN B134




Course Mailing List:

  • CS590N_Spring2008 at cs.purdue.edu

Course Work:

  • Regular attendance
  • A few homework assignments
  • A mid-term exam
  • Presentation for 2 to 3 lectures
  • One course project