On flow-sensitive security types.

Sebastian Hunt, David Sands

Browse the full POPL paper archive.