Security Through Type Analysis.

Colin O'Halloran, Chris T. Sennett

Browse the full ESORICS paper archive.