CS Security Research Group

last modified Jan 8, 2002


Thesis Presentation: Evaluating the TLS Family of Protocols with Weakest Precondition Reasoning.

Spring 2002 Group Meeting Schedule

Tech Report - Evaluating the TLS Family of Protocols with Weakest Precondition Reasoning

Papers Presented in Security Group meetings. 


Cryptographic Protocol Descriptions


Justin's Info Security Bookmarks as of 02-29-2000 

Other Resources Read or Assigned

Taken Notes On

Read at least once

Assigned but not Finished Reading

Other Recent Activities



Justin's Home Page
FSU Security Group Home