CS 259: Process calculi

CS 395T - Design and Analysis of Security Protocols

CS 395T - Design and Analysis of Security Protocols

Static Liquid - Old Dominion University

Static Liquid - Old Dominion University

Academic presentation for college course (textbook design)

Academic presentation for college course (textbook design)

Math summer orientation

Math summer orientation

Departmental Review and Analysis for AY 2002-2003

Departmental Review and Analysis for AY 2002-2003

Introduction to Database Systems

Introduction to Database Systems

Formal Methods - Computer Science

Formal Methods - Computer Science

Class of 2013 Registration

Class of 2013 Registration

BIIB PPT Template

BIIB PPT Template

Adventures in Computer Security

Adventures in Computer Security

An Expanded Ambient Calculus with a Pi

An Expanded Ambient Calculus with a Pi