dblp.uni-trier.dewww.uni-trier.de

Alejandro Russo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gilles Barthe [4]
2John Hughes [3] [5]
3David A. Naumann [3]
4Tamara Rezk [4]
5Andrei Sabelfeld [1] [2] [3] [4]
6Ta-Chung Tsai [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)