Home

Course description

Lecture notes

Assignments

Projects

Tools

Reference

 

 

 

CS 395T - Design and Analysis of Security Protocols (54302)

Fall 2004

Projects

Project proposals are due October 11. A proposal should be 2 or 3 pages long and include the following:
  • Brief description of system or protocol you are planning to analyze, or the tool extension you are planning to implement;
  • Description of security properties you intend to investigate;
  • Tools and analysis techniques you expect to use.
Some project topics are suggested below. Students may propose their own projects.

Analyze an existing protocol

Build or extend an analysis tool Do a theoretical study