| 2007 |
|---|
| 5 | EE | Ta-Chung Tsai,
Alejandro Russo,
John Hughes:
A Library for Secure Multi-threaded Information Flow in Haskell.
CSF 2007: 187-202 |
| 4 | EE | Gilles Barthe,
Tamara Rezk,
Alejandro Russo,
Andrei Sabelfeld:
Security of Multithreaded Programs by Compilation.
ESORICS 2007: 2-18 |
| 2006 |
|---|
| 3 | EE | Alejandro Russo,
John Hughes,
David A. Naumann,
Andrei Sabelfeld:
Closing Internal Timing Channels by Transformation.
ASIAN 2006: 120-135 |
| 2 | EE | Alejandro Russo,
Andrei Sabelfeld:
Securing Interaction between Threads and the Scheduler.
CSFW 2006: 177-189 |
| 1 | EE | Alejandro Russo,
Andrei Sabelfeld:
Security for Multithreaded Programs Under Cooperative Scheduling.
Ershov Memorial Conference 2006: 474-480 |
