 | 2009 |
|---|
| 7 |       | Alejandro Russo,
Andrei Sabelfeld,
Andrey Chudnov:
Tracking Information Flow in Dynamic Tree Structures.
ESORICS 2009: 86-103 |
| 6 | | Alejandro Russo,
Andrei Sabelfeld:
Securing interaction between threads and the scheduler in the presence of synchronization.
J. Log. Algebr. Program. 78(7): 593-618 (2009) |
| 2007 |
|---|
| 5 | | Ta-Chung Tsai,
Alejandro Russo,
John Hughes:
A Library for Secure Multi-threaded Information Flow in Haskell.
CSF 2007: 187-202 |
| 4 | | Gilles Barthe,
Tamara Rezk,
Alejandro Russo,
Andrei Sabelfeld:
Security of Multithreaded Programs by Compilation.
ESORICS 2007: 2-18 |
| 2006 |
|---|
| 3 | | Alejandro Russo,
John Hughes,
David A. Naumann,
Andrei Sabelfeld:
Closing Internal Timing Channels by Transformation.
ASIAN 2006: 120-135 |
| 2 | | Alejandro Russo,
Andrei Sabelfeld:
Securing Interaction between Threads and the Scheduler.
CSFW 2006: 177-189 |
| 1 | | Alejandro Russo,
Andrei Sabelfeld:
Security for Multithreaded Programs Under Cooperative Scheduling.
Ershov Memorial Conference 2006: 474-480 |
