Publications
Search

Publications :: Search

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.