Search for publications:
Home
Publications
About
Login
Activate Account
Publications
Search
Publications :: Search
Basic Search
Advanced Search
Author Info
Show author
On this page you see the details of the selected author.
Author information
First name:
Alejandro
Last name:
Russo
DBLP:
48/5534
Rating:
(not rated yet)
Bookmark:
Below you find the publications which have been written by this author.
Show item
1
to
9
of
9
Select a publication
Show
Title
Venue
Rating
Date
Alejandro Russo
,
Andrei Sabelfeld
.
Securing Timeout Instructions in Web Applications.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009 2009
(0)
2009
Alejandro Russo
,
Andrei Sabelfeld
,
Andrey Chudnov
.
Tracking Information Flow in Dynamic Tree Structures.
Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings 2009
(0)
2009
Alejandro Russo
,
Andrei Sabelfeld
.
Securing interaction between threads and the scheduler in the presence of synchronization.
J. Log. Algebr. Program. 2009, Volume 78
(0)
2009
Alejandro Russo
,
Koen Claessen
,
John Hughes
.
A library for light-weight information-flow security in haskell.
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008 2008
(0)
2008
Ta-Chung Tsai
,
Alejandro Russo
,
John Hughes
.
A Library for Secure Multi-threaded Information Flow in Haskell.
20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy 2007
(0)
2007
Gilles Barthe
,
Tamara Rezk
,
Alejandro Russo
,
Andrei Sabelfeld
.
Security of Multithreaded Programs by Compilation.
Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings 2007
(0)
2007
Alejandro Russo
,
John Hughes
,
David A. Naumann
,
Andrei Sabelfeld
.
Closing Internal Timing Channels by Transformation.
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers 2008
(0)
2006
Alejandro Russo
,
Andrei Sabelfeld
.
Securing Interaction between Threads and the Scheduler.
19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy 2006
(0)
2006
Alejandro Russo
,
Andrei Sabelfeld
.
Security for Multithreaded Programs Under Cooperative Scheduling.
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers 2007
(0)
2006
Your query returned
9
matches in the database.