Each week, you will be responsible for reviewing one of the required readings (if there are any). Reviews are typically due Tuesday at midnight via the course HotCRP site (linked from Canvas) so discussion leads have time to read them before the Thursday class.<\/p>\n\n\n\n
Except where otherwise noted, discussions will be led by one or two students. Everyone should read the required readings, but discussion leads should also read all of the on-time reviews (i.e., you are not responsible for reading anything submitted at the last minute) to be prepared to lead a discussion.<\/p>\n\n\n\n
There will also be opportunities to participate during lectures, so be sure to attend class!<\/p>\n\n\n\n
The final project will be an opportunity to explore additional topics in formal methods and\/or usable security or propose your own research project in usable formal methods. More details will be posted soon.<\/p>\n\n\n\n
This a tentative course schedule. It may change over the course of the semester, so be sure to check back here before starting on any assigned readings. Some of the materials for this course have been borrowed and\/or adapted from content developed by Professors Lorrie Cranor, Limin Jia, and Hanan Hibshi at Carnegie Mellon University.<\/p>\n\n\n\n
This a tentative course schedule. It may change over the course of the semester, so be sure to check back here before starting on any assigned readings.<\/p>\n\n\n\n