A Type System for Computationally Secure Information Flow.

Peeter Laud, Varmo Vene

Browse the full FCT paper archive.