Skip to content

A Type System for Robust Declassification.

Steve Zdancewic

VenueBMFPS
Year2003
ProceedingsMFPS

Browse the full MFPS paper archive.