Controlling the What and Where of Declassification in Language-Based Security.

Heiko Mantel, Alexander Reinhard

Browse the full ESOP paper archive.