Gilles Barthe Tamara Rezk Alejandro Russo Andrei Sabelfeld Security of Multithreaded Programs by Compilation. 2-18 2007 conf/esorics/2007 ESORICS http://dx.doi.org/10.1007/978-3-540-74835-9_2 db/conf/esorics/esorics2007.html#BartheRRS07