Security of Multithreaded Programs by Compilation (2007)

by G BARTHE, T REZK, A RUSSO, A SABELFELD
Venue:In ESORICS