Papers and Talks

Here are papers and talks about our work. They are organized (roughly) by topic. Have fun!

Attacks, Vulnerabilities, and Fun Stuff

Classification of Vulnerabilities


Information Survivability and Assurance

Property-Based Testing


Writing Privileged Code

A classic is something that everybody wants to have read and nobody wants to read. -- Mark Twain

Matt Bishop
Department of Computer Science
3059 Engineering Unit II
phone: +1 (530) 752-8060
fax: +1 (530) 752-4767

Last modified on November 27, 1998