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.