Computer Science Department Master Calendar
skip to events
import, export, and share options
advanced search
Event Detail Information
Event Detail Information
Final Exam of Ralf Sasse
Date Jun 20, 2012
Time 11:15 am
Location 2124 Siebel Center
Sponsor Department of Computer Science
Event type Dissertation Defense
Views 12193
Originating Calendar Computer Science PhD Final Exams
Thesis Title: Security Models in Rewriting Logic for Cryptographic Protocols and Browsers
Jose Meseguer – Director/Chair
Grigore Rosu
Sam King
Shuo Chen
Catherine Meadows