Information Flow Control-by-Construction for an Object-Oriented Language.

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer

Browse the full SEFM paper archive.