Bello, Luciano; Russo, Alejandro: Towards a Taint Mode for Cloud Computing Web Application. 7th Workshop on Programming Languages and Analysis for Security , pp. 7:1--7:12. ISBN/ISSN: 978-1-4503-1441-1

Giffin, Daniel B.; Levy, Amit; Stefan, Deian; Terei, David; Mazières, David; Mitchell, John; Russo, Alejandro: Hails: Protecting Data Privacy in Untrusted Web Applications. Symposium on Operating Systems Design and Implementation,

Magazinius, Jonas; Russo, Alejandro; Sabelfeld, Andrei: On-The-Fly Inlining Of Dynamic Security Monitors. Computers & security, 31 (7) pp. 827-843.

Stefan, Deian; Russo, Alejandro; Buiras, Pablo; Levy, Amit; Mitchell, John C.; Mazières, David: Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems. 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012. Copenhagen, 9 - 15 September 2012, pp. 201-213. ISBN/ISSN: 978-1-4503-1054-3

Birgisson, Arnar; Russo, Alejandro; Sabelfeld, Andrei: Capabilities for information flow. ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, pp. article no. 5. ISBN/ISSN: 978-145030830-4

Jaskelioff, Mauro; Russo, Alejandro: Secure Multi-Execution in Haskell. Andrei Ershov International Conference on Perspectives of System Informatics,

Palka, Michal H.; Claessen, Koen; Russo, Alejandro; Hughes, John: Testing an Optimising Compiler by Generating Random Lambda Terms. International Workshop on Automation of Software Test,

Stefan, D.; Russo, Alejandro; Mitchell, J. C.; Mazieres, D.: Flexible Dynamic Information Flow Control in Haskell. ACM Sigplan Notices, 46 (12) pp. 95-106.

Stefan, Deian; Russo, Alejandro; Mazieres, David; Mitchell, John C.: Disjunction Category Labels. Nordic Conference in Secure IT Systems,

Stefan, Deian; Russo, Alejandro; Mitchell, John; Mazieres, David: Flexible Dynamic Information Flow Control in Haskell. ACM SIGPLAN Haskell Symposium 2011, ISBN/ISSN: 978-145030860-1

Barthe, G.; Rezk, T.; Russo, Alejandro; Sabelfeld, Andrei: Security of Multithreaded Programs by Compilation. ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY , 13 (3)

Birgisson, Arnar; Russo, Alejandro; Sabelfeld, Andrei: Unifying Facets of Information Integrity. Springer LNCS Proceedings of Sixth International Conference on Information Systems Security, 6503 pp. 48-65. ISBN/ISSN: 978-364217713-2

Conti, Juan Jóse; Russo, Alejandro: A Taint Mode for Python via a Library. OWASP AppSec Research 2010,

Del Tedesco, Filippo; Russo, Alejandro; Sands, David: Implementing Erasure Policies Using Taint Analysis. Nordic Conference in Secure IT Systems (NORDSEC 2010), 2010, Espoo, Finland,

Magazinius, Jonas; Russo, Alejandro; Sabelfeld, Andrei: On-the-fly inlining of dynamic security monitors. In Proc. IFIP International Information Security Conference (SEC 2010),

Russo, Alejandro; Sabelfeld, Andrei: Dynamic vs. Static Flow-Sensitive Security Analysis. Proceedings of the IEEE Computer Security Foundations Symposium, pp. 186-199. ISBN/ISSN: 978-076954082-5

Barthe, Gilles; Rezk, Tamara; Russo, Alejandro; Sabelfeld, Andrei: Secuirty of Multithreaded Programs by Compilation. Special Issue of ACM Transactions on Information and System Security (TISSEC) ,

Russo, Alejandro; Claessen, Koen; Hughes, John: A Library for Light-Weight Information-Flow Security in Haskell. ACM Sigplan Notices, 44 (2) pp. 13-24.

Russo, Alejandro; Sabelfeld, Andrei; Keqin, Li: Implicit flows in malicious and nonmalicious code. Proceedings of the 2009 Marktoberdorf Summer School, IOS Press,

Russo, Alejandro; Sabelfeld, Andrei: Securing Interaction between Threads and the Scheduler in the Presence of Synchronization. Journal of Logic and Algebraic Programming, 78 (7) pp. 593-618.

Russo, Alejandro; Sabelfeld, Andrei: Securing Timeout Instructions in Web Applications. Proceedings of the 22th IEEE Computer Security Foundations Symposium,

Russo, Alejandro; Sabelfeld, Andrei; Chudnov, Andrey: Tracking Information Flow in Dynamic Tree Structures . Proceedings of the European Symposium on Research in Computer Security (ESORICS),

Sabelfeld, Andrei; Russo, Alejandro: From dynamic to static and back: Riding the roller coaster of information-flow control research . Lecture Notes in Computer Science. 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, Novosibirsk, 15-19 June 2009, 5947 pp. 352-365. ISBN/ISSN: 978-364211485-4

Russo, Alejandro; Claessen, Koen; Hughes, John: A Library for Light-Weight Information-Flow Security in Haskell. Proceedings of 2008 Haskell Symposium (Haskell 08),

Russo, Alejandro: Language Support for Controlling Timing-Based Covert Channels. Göteborg : Chalmers University of Technology. Diss. ISBN/ISSN: 978-91-7385-171-8

Barthe, Gilles; Rezk, Tamara; Russo, Alejandro; Sabelfeld, Andrei: Security of Multithreaded Programs by Compilation. Proceedings of the 12th European Symposium on Research in Computer Security (ESORICS), 4734 pp. 2-18. ISBN/ISSN: 978-3-540-74834-2

Russo, Alejandro; Hughes, John; Naumann, David; Sabelfeld, Andrei: Closing Internal Timing Channels by Transformation. Proceedings of the 11th Annual Asian Computing Science Conference,

Russo, Alejandro: Controlling Timing Channels in Multithreaded Programs. Göteborg : Chalmers University of Technology.

Tsai, Tsa-chung; Russo, Alejandro; Hughes, John: A Library for Secure Multi-threaded Information Flow in Haskell. Proceedings of the 20th IEEE Computer Security Foundations Symposium. IEEE Computer Society Press.,

Russo, Alejandro; Sabelfeld, Andrei: Securing Interaction between Threads and the Scheduler. Proceedings of the 19th IEEE Computer Security Foundations Workshop, Venice, Italy, July 5-7, 2006. IEEE Computer Society Press.,

Russo, Alejandro; Sabelfeld, Andrei: Security for Multithreaded Programs under Cooperative Scheduling. Proceedings of Andrei Ershov International Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, June 27-30, 2006. LNCS, Springer-Verlag.,