Security of multithreaded programs by compilation

Article CLOSED
Gilles Barthe ; Tamara Rezk ; Alejandro Russo ; Andrei Sabelfeld (2010)
Share - Bookmark