Wisconsin Safety Analyzer

Computer Sciences DepartmentUniversity of Wisconsin, Madison

News

Two WiSA students graduate with doctorates

Shai Rubin Jonathon Giffin Two WiSA students have successfully defended their doctoral thesis.

Shai Rubin, co-advised by Somesh Jha and Barton Miller defended his thesis on June 28, 2006. His dissertation is entitled Formal Models and Tools to Improve NIDS Accuracy.

Jonathon Giffin, also co-advised by Somesh Jha and Barton Miller, defended his thesis on July 25th, 2006. Jon's dissertation is entitled Model-Based Intrusion Detection System Design and Analysis.

More details are available here.

Other Recent Headlines

Project Overview
Using static analysis to detect vulnerabilities in
commercial off-the-shelf components.
People
Investigators and graduate students.
Presentations
Our talks, now online.
Technical Papers
Reports to the research community.
Resources
External links.

 

Site Search

 

Sponsored by the Office of Naval Research (ONR) under the Critical Infrastructure Protection and High Confidence, Adaptable Software (CIP/SW) program.

 

Internal Area