| 2026 | PEPM | Towards Lightweight and Efficient Choreographic Cloud Services. | Alex Ionescu, Alejandro Russo |
| 2025 | CCS | Accuracy for Differentially Private Quotients by Fractional Uncertainties. | Alejandro Russo, Elisabet Lobo Vesga, Marco Gaboardi |
| 2023 | HASKELL | HasTEE: Programming Trusted Execution Environments with Haskell. | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen |
| 2023 | ICST | MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. | Agustn Mista, Alejandro Russo |
| 2021 | HASKELL | Practical normalization by evaluation for EDSLs. | Nachiappan Valliappan, Alejandro Russo, Sam Lindley |
| 2020 | CCS | Short Paper: Blockcheck the Typechain. | Sergio Benitez, Jonathan Cogan, Alejandro Russo |
| 2020 | HASKELL | Towards secure IoT programming in Haskell. | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen |
| 2020 | ICSE | Hey, my data are mine!: active data to empower the user. | Gian Luca Scoccia, Marco Autili, Patrizio Pelliccione, Paola Inverardi, Matteo Maria Fiore, Alejandro Russo |
| 2020 | SP | A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. | Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi |
| 2019 | ICSE | Generating random structurally rich algebraic data type values. | Agustn Mista, Alejandro Russo |
| 2019 | PPDP | Exponential Elimination for Bicartesian Closed Categorical Combinators. | Nachiappan Valliappan, Alejandro Russo |
| 2018 | CCS | Faceted Secure Multi Execution. | Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo |
| 2018 | HASKELL | Branching processes for QuickCheck generators. | Agustn Mista, Alejandro Russo, John Hughes |
| 2018 | ISoLA | Towards Adding Variety to Simplicity. | Nachiappan Valliappan, Solne Mirliaz, Elisabet Lobo Vesga, Alejandro Russo |
| 2018 | WWW | A Better Facet of Dynamic Information Flow Control. | Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz |
| 2017 | CCS | Encoding DCC in Haskell. | Maximilian Algehed, Alejandro Russo |
| 2017 | CCS | Cryptographically Secure Information Flow Control on Key-Value Stores. | Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong |
| 2016 | CCS | On Formalizing Information-Flow Control Libraries. | Marco Vassena, Alejandro Russo |
| 2016 | ESORICS | Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. | Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo |
| 2015 | HotOS | The Most Dangerous Code in the Browser. | Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan |
| 2015 | ICFP | HLIO: mixing static and dynamic typing for information-flow control in Haskell. | Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo |
| 2015 | ICFP | Functional pearl: two can keep a secret, if one of them uses Haskell. | Alejandro Russo |
| 2014 | HASKELL | Building secure systems with LIO (demo). | Deian Stefan, Amit Levy, Alejandro Russo, David Mazires |
| 2014 | OSDI | Protecting Users by Confining JavaScript with COWL. | Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazires |
| 2013 | ESORICS | Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. | Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazires |
| 2012 | ICFP | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2012 | OSDI | Hails: Protecting Data Privacy in Untrusted Web Applications. | Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazires, John C. Mitchell, Alejandro Russo |
| 2012 | PLDI | Towards a taint mode for cloud computing web applications. | Luciano Bello, Alejandro Russo |
| 2011 | HASKELL | Flexible dynamic information flow control in Haskell. | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazires |
| 2011 | ICSE | Testing an optimising compiler by generating random lambda terms. | Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes |
| 2011 | PLDI | Capabilities for information flow. | Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld |
| 2010 | ICISS | Unifying Facets of Information Integrity. | Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld |
| 2010 | SEC | On-the-fly Inlining of Dynamic Security Monitors. | Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld |
| 2009 | ESORICS | Tracking Information Flow in Dynamic Tree Structures. | Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov |
| 2008 | HASKELL | A library for light-weight information-flow security in haskell. | Alejandro Russo, Koen Claessen, John Hughes |
| 2007 | ESORICS | Security of Multithreaded Programs by Compilation. | Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld |