A Monadic Analysis of Information-Flow Security with Mutable State

Abstract

The talk abstract

Student Seminar Series: 21 October 2005

The talk slides are available (2mb, PDF).

Slide source code(2mb, tar.gz) is also available. You will need the LaTeX beamer package. Clipart is from openclipart.org, with compositing and minor color-adjustments by yours truly.

Changes

Since giving the talk, I added two slides at the end that expand on some of the questions that came up.