Towards a logical account of declassification.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

Browse the full PLDI paper archive.