Short Paper: On High-Assurance Information-Flow-Secure Programming Languages.

Toby C. Murray

Browse the full ECOOP paper archive.