Skip to content

Expressive Declassification Policies and Modular Static Enforcement.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

VenueA*SP
Year2008
ProceedingsSP

Browse the full SP paper archive.