Existential Types for Relaxed Noninterference.

Raimil Cruz, ric Tanter

Browse the full APLAS paper archive.