Information flow security of multi-threaded distributed programs.

Riccardo Focardi, Matteo Centenaro

Browse the full PLDI paper archive.