590 NL - Autumn 2004

University of Washington Computer Science & Engineering

CSE Home

About Us

Contact Info

Wednesdays, 11:30 - 12:20 in MOR 234.

This quarter we will have a series of talks on "trustworthy computing" by faculty and students in various subareas in the department and from outside the department. The goal of the seminar is to gain an appreciation for this important problem area beyond our narrow areas of study.

Some talks will overflow into the Systems Seminar, CSE 590S which meets also on Wednesdays, but in LOW 113 at 1:30 - 2:20. Those talks are also listed below.

September 29 - Dan Suciu - Current Research Topics in Data Security. abstract, Talk Slides
October 6 - Gerome Miklau - Data Security Research at UW: Secrecy and Integrity in Data Exchange. abstract, Talk Slides
October 13 - Dan Grossman - Overview of Programming-Language-Based Approaches to Software Security. abstract, Talk Slides, Bibliography
October 20 - Dan Grossman, Craig Chambers, Sorin Lerner - UW CSE Languages Research with Software-Security Applications: Safe Low-Level Languages and Provably Sound Compiler Optimizations. abstract, First Talk Slides , Second Talk Slides
October 27 - Richard Ladner - Efficient Key Distribution for Secure Multicast. abstract, Talk Slides
November 3 - Neal Koblitz - Does Provable Security Exist? abstract, Talk Slides
November 10 - Rick Cox - A Unified Security Model for Web Applications. abstract, Talk Slides
November 10 (In 590S) - Helen Wang - Shield: First-Line Worm Defense abstract
November 17 - Xiaowei Yang - Capability-based DoS Defense. abstract, Talk Slides
November 24 - Day before Thanksgiving, no seminar
December 1 - Loukas Lazos - SeRLoc: Secure, Range-free Localization in Sensor Networks. abstract, Talk Slides
December 1 (In 590S) - Dave Dittrich - Bots and Botnets: The Automation of Computer Network Attack
December 8 - Radha Poovendran - Modelling Wormhole Attacks on Ad Hoc Networks Using Graph Theory. abstract, Talk Slides

Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA 98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to ladner]