Wisconsin Safety Analyzer

Computer Sciences DepartmentUniversity of Wisconsin, Madison


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.
Investigators and graduate students.
Our talks, now online.
Technical Papers
Reports to the research community.
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