- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j3 |      | Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld: On-the-fly inlining of dynamic security monitors. Computers & Security 31(7): 827-843 (2012) |
| c18 | | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières: Addressing covert termination and timing channels in concurrent information flow systems. ICFP 2012: 201-214 |
| i1 | | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible Dynamic Information Flow Control in the Presence of Exceptions. CoRR abs/1207.1457 (2012) |
| 2011 | ||
| c17 | | Mauro Jaskelioff, Alejandro Russo: Secure Multi-execution in Haskell. Ershov Memorial Conference 2011: 170-178 |
| c16 | | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières: Flexible dynamic information flow control in Haskell. Haskell 2011: 95-106 |
| c15 | | Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell: Disjunction Category Labels. NordSec 2011: 223-239 |
| 2010 | ||
| j2 | | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur. 13(3) (2010) |
| c14 | | Alejandro Russo, Andrei Sabelfeld: Dynamic vs. Static Flow-Sensitive Security Analysis. CSF 2010: 186-199 |
| c13 | | Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld: Unifying Facets of Information Integrity. ICISS 2010: 48-65 |
| c12 | | Filippo Del Tedesco, Alejandro Russo, David Sands: Implementing Erasure Policies Using Taint Analysis. NordSec 2010: 193-209 |
| c11 | | |
| c10 | | Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld: On-the-fly Inlining of Dynamic Security Monitors. SEC 2010: 173-186 |
| p1 | | Alejandro Russo, Andrei Sabelfeld, Keqin Li: Implicit flows in malicious and nonmalicious code. Logics and Languages for Reliability and Security 2010: 301-322 |
| 2009 | ||
| j1 | | 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) |
| c9 | | Alejandro Russo, Andrei Sabelfeld: Securing Timeout Instructions in Web Applications. CSF 2009: 92-106 |
| c8 | | 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 |
| c7 | | Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov: Tracking Information Flow in Dynamic Tree Structures. ESORICS 2009: 86-103 |
| 2008 | ||
| c6 | | Alejandro Russo, Koen Claessen, John Hughes: A library for light-weight information-flow security in haskell. Haskell 2008: 13-24 |
| 2007 | ||
| c5 | | Ta-Chung Tsai, Alejandro Russo, John Hughes: A Library for Secure Multi-threaded Information Flow in Haskell. CSF 2007: 187-202 |
| c4 | | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld: Security of Multithreaded Programs by Compilation. ESORICS 2007: 2-18 |
| 2006 | ||
| c3 | | Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld: Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135 |
| c2 | | Alejandro Russo, Andrei Sabelfeld: Securing Interaction between Threads and the Scheduler. CSFW 2006: 177-189 |
| c1 | | Alejandro Russo, Andrei Sabelfeld: Security for Multithreaded Programs Under Cooperative Scheduling. Ershov Memorial Conference 2006: 474-480 |
Data released under the ODC-BY 1.0 license — See also our legal information page