A Monadic Analysis of Information-Flow Security with Mutable State


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.


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

October, 2005. Aleksey Kliger

Valid CSS! validate CSS
Valid XHTML 1.1! validate XHTML