Security of Multithreaded Programs by Compilation.

Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld

Browse the full ESORICS paper archive.