Computationally Secure Information Flow
Dissertation

Peeter Laud

April, 2002

The thesis itself (submitted version and also the final version).
The slides of the talk at Promotionskolloquium.
The implementation of the analysis described in the thesis.