Alejandro Russo

	2011
14		Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible dynamic information flow control in Haskell. Haskell 2011: 95-106
	2010
13		Alejandro Russo, Andrei Sabelfeld: Dynamic vs. Static Flow-Sensitive Security Analysis. CSF 2010: 186-199
12		Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld: Unifying Facets of Information Integrity. ICISS 2010: 48-65
11		Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur. 13(3): (2010)
	2009
10		Alejandro Russo, Andrei Sabelfeld: Securing Timeout Instructions in Web Applications. CSF 2009: 92-106
9		Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov: Tracking Information Flow in Dynamic Tree Structures. ESORICS 2009: 86-103
8		Andrei Sabelfeld, Alejandro Russo: From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. Ershov Memorial Conference 2009: 352-365
7		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)
	2008
6		Alejandro Russo, Koen Claessen, John Hughes: A library for light-weight information-flow security in haskell. Haskell 2008: 13-24
	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

Coauthor Index

1	Gilles Barthe	[4] [11]
2	Arnar Birgisson	[12]
3	Andrey Chudnov	[9]
4	Koen Claessen	[6]
5	John Hughes	[3] [5] [6]
6	David Mazières	[14]
7	John C. Mitchell	[14]
8	David A. Naumann	[3]
9	Tamara Rezk	[4] [11]
10	Andrei Sabelfeld	[1] [2] [3] [4] [7] [8] [9] [10] [11] [12] [13]
11	Deian Stefan	[14]
12	Ta-Chung Tsai	[5]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page