Skip to content

Secure Information Flow in a Multi-Threaded Imperative Language.

Geoffrey Smith, Dennis M. Volpano

VenueA*POPL
Year1998
ProceedingsPOPL

Browse the full POPL paper archive.