The conference paper "Controlling the What and Where of Declassification in Language-Based Security" by Heiko Mantel and Alexander Reinhard has been accepted for publication at the European Symposium on Programming (ESOP) in 2007.

The work was funded by the DFG FM-SecEng project and the EU Mobius Project.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang