Closing Internal Timing Channels by Transformation. - Alejandro Russo; John Hughes 001; David A. Naumann; Andrei Sabelfeld (ASIAN, 2006)

Securing Interaction between Threads and the Scheduler. - Alejandro Russo; Andrei Sabelfeld (CSFW, 2006)

Security for Multithreaded Programs Under Cooperative Scheduling. - Alejandro Russo; Andrei Sabelfeld (Ershov Memorial Conference, 2006)

A Library for Secure Multi-threaded Information Flow in Haskell. - Ta-Chung Tsai; Alejandro Russo; John Hughes 001 (CSF, 2007)

A library for light-weight information-flow security in haskell. - Alejandro Russo; Koen Claessen; John Hughes 001 (Haskell, 2008)

Language Support for Controlling Timing-Based Covert Channels. - Alejandro Russo (2008)

Securing Timeout Instructions in Web Applications. - Alejandro Russo; Andrei Sabelfeld (CSF, 2009)

From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. - Andrei Sabelfeld; Alejandro Russo (Ershov Memorial Conference, 2009)

Tracking Information Flow in Dynamic Tree Structures. - Alejandro Russo; Andrei Sabelfeld; Andrey Chudnov (ESORICS, 2009)

Securing interaction between threads and the scheduler in the presence of synchronization. - Alejandro Russo; Andrei Sabelfeld (J. Log. Algebraic Methods Program., 2009)

Dynamic vs. Static Flow-Sensitive Security Analysis. - Alejandro Russo; Andrei Sabelfeld (CSF, 2010)

Unifying Facets of Information Integrity. - Arnar Birgisson; Alejandro Russo; Andrei Sabelfeld (ICISS, 2010)

A Taint Mode for Python via a Library. - Juan José Conti; Alejandro Russo (NordSec, 2010)

Implementing Erasure Policies Using Taint Analysis. - Filippo Del Tedesco; Alejandro Russo; David Sands 001 (NordSec, 2010)

Security of multithreaded programs by compilation. - Gilles Barthe; Tamara Rezk; Alejandro Russo; Andrei Sabelfeld (ACM Trans. Inf. Syst. Secur., 2010)

Implicit flows in malicious and nonmalicious code. - Alejandro Russo; Andrei Sabelfeld; Keqin Li 002 (Logics and Languages for Reliability and Security, 2010)

Secure Multi-execution in Haskell. - Mauro Jaskelioff; Alejandro Russo (Ershov Memorial Conference, 2011)

Flexible dynamic information flow control in Haskell. - Deian Stefan; Alejandro Russo; John C. Mitchell; David Mazières (Haskell, 2011)

Testing an optimising compiler by generating random lambda terms. - Michal H. Palka; Koen Claessen; Alejandro Russo; John Hughes 001 (AST, 2011)

Disjunction Category Labels. - Deian Stefan; Alejandro Russo; David Mazières; John C. Mitchell (NordSec, 2011)

Capabilities for information flow. - Arnar Birgisson; Alejandro Russo; Andrei Sabelfeld (PLAS, 2011)

Addressing covert termination and timing channels in concurrent information flow systems. - Deian Stefan; Alejandro Russo; Pablo Buiras; Amit Levy; John C. Mitchell; David Mazières (ICFP, 2012)

Towards a taint mode for cloud computing web applications. - Luciano Bello; Alejandro Russo (PLAS, 2012)

On-the-fly inlining of dynamic security monitors. - Jonas Magazinius; Alejandro Russo; Andrei Sabelfeld (Comput. Secur., 2012)

Precise Enforcement of Confidentiality for Reactive Systems. - Dante Zanarini; Mauro Jaskelioff; Alejandro Russo (CSF, 2013)

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. - Deian Stefan; Pablo Buiras; Edward Z. Yang; Amit Levy; David Terei; Alejandro Russo; David Mazières (ESORICS, 2013)

Lazy Programs Leak Secrets. - Pablo Buiras; Alejandro Russo (NordSec, 2013)

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. - Pablo Buiras; Amit Levy; Deian Stefan; Alejandro Russo; David Mazières (TGC, 2013)

On Dynamic Flow-Sensitive Floating-Label Systems. - Pablo Buiras; Deian Stefan; Alejandro Russo (CSF, 2014)

Fault-Tolerant Non-interference. - Filippo Del Tedesco; Alejandro Russo; David Sands 001 (ESSoS, 2014)

Building secure systems with LIO (demo). - Deian Stefan; Amit Levy; Alejandro Russo; David Mazières (Haskell, 2014)

Protecting Users by Confining JavaScript with COWL. - Deian Stefan; Edward Z. Yang; Petr Marchenko; Alejandro Russo; David Herman; Brad Karp; David Mazières (OSDI, 2014)

Type-Directed Compilation for Fault-Tolerant Non-Interference. - Filippo Del Tedesco; David Sands 001; Alejandro Russo (CoRR, 2014)

The Most Dangerous Code in the Browser. - Stefan Heule; Devon Rifkin; Alejandro Russo; Deian Stefan (HotOS, 2015)

HLIO: mixing static and dynamic typing for information-flow control in Haskell. - Pablo Buiras; Dimitrios Vytiniotis; Alejandro Russo (ICFP, 2015)

Functional pearl: two can keep a secret, if one of them uses Haskell. - Alejandro Russo (ICFP, 2015)

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. - Stefan Heule; Deian Stefan; Edward Z. Yang; John C. Mitchell; Alejandro Russo (POST, 2015)

It's My Privilege: Controlling Downgrading in DC-Labels. - Lucas Waye; Pablo Buiras; Dan King; Stephen Chong; Alejandro Russo (STM, 2015)

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). - Stefan Heule; Deian Stefan; Edward Z. Yang; John C. Mitchell; Alejandro Russo (CoRR, 2015)

On Formalizing Information-Flow Control Libraries. - Marco Vassena; Alejandro Russo (PLAS@CCS, 2016)

Fault-Resilient Non-interference. - Filippo Del Tedesco; David Sands 001; Alejandro Russo (CSF, 2016)

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. - Marco Vassena; Pablo Buiras; Lucas Waye; Alejandro Russo (ESORICS (1), 2016)

Encoding DCC in Haskell. - Maximilian Algehed; Alejandro Russo (PLAS@CCS, 2017)

Cryptographically Secure Information Flow Control on Key-Value Stores. - Lucas Waye; Pablo Buiras; Owen Arden; Alejandro Russo; Stephen Chong (CCS, 2017)

Securing Concurrent Lazy Programs Against Information Leakage. - Marco Vassena; Joachim Breitner; Alejandro Russo (CSF, 2017)

Hails: Protecting data privacy in untrusted web applications. - Daniel B. Giffin; Amit Levy; Deian Stefan; David Terei; David Mazières; John C. Mitchell; Alejandro Russo (J. Comput. Secur., 2017)

Flexible dynamic information flow control in the presence of exceptions. - Deian Stefan; David Mazières; John C. Mitchell; Alejandro Russo (J. Funct. Program., 2017)

Faceted Secure Multi Execution. - Thomas Schmitz 001; Maximilian Algehed; Cormac Flanagan; Alejandro Russo (CCS, 2018)

Branching processes for QuickCheck generators. - Agustín Mista; Alejandro Russo; John Hughes 001 (Haskell@ICFP, 2018)

Towards Adding Variety to Simplicity. - Nachiappan Valliappan; Solène Mirliaz; Elisabet Lobo Vesga; Alejandro Russo (ISoLA (4), 2018)

A Better Facet of Dynamic Information Flow Control. - Minh Ngo; Nataliia Bielova; Cormac Flanagan; Tamara Rezk; Alejandro Russo; Thomas Schmitz 001 (WWW (Companion Volume), 2018)

Optimising Faceted Secure Multi-Execution. - Maximilian Algehed; Alejandro Russo; Cormac Flanagan (CSF, 2019)

Generating random structurally rich algebraic data type values. - Agustín Mista; Alejandro Russo (AST@ICSE, 2019)

Deriving compositional random generators. - Agustín Mista; Alejandro Russo (IFL, 2019)

Exponential Elimination for Bicartesian Closed Categorical Combinators. - Nachiappan Valliappan; Alejandro Russo (PPDP, 2019)

Short Paper: Blockcheck the Typechain. - Sergio Benitez; Jonathan Cogan; Alejandro Russo (PLAS@CCS, 2020)

Securing Asynchronous Exceptions. - Carlos Tomé Cortiñas; Marco Vassena; Alejandro Russo (CSF, 2020)

Towards secure IoT programming in Haskell. - Nachiappan Valliappan; Robert Krook; Alejandro Russo; Koen Claessen (Haskell@ICFP, 2020)

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 (ICSE (NIER), 2020)

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. - Agustín Mista; Alejandro Russo (TFP, 2020)

A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. - Elisabet Lobo Vesga; Alejandro Russo; Marco Gaboardi (SP, 2020)

MultiCall: A Transaction-batching Interpreter for Ethereum. - William Hughes; Alejandro Russo; Gerardo Schneider (BSCI, 2021)

Practical normalization by evaluation for EDSLs. - Nachiappan Valliappan; Alejandro Russo; Sam Lindley (Haskell, 2021)

A Programming Language for Data Privacy with Accuracy Estimations. - Elisabet Lobo Vesga; Alejandro Russo; Marco Gaboardi (ACM Trans. Program. Lang. Syst., 2021)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (CoRR, 2022)

HasTEE: Programming Trusted Execution Environments with Haskell. - Abhiroop Sarkar; Robert Krook; Alejandro Russo; Koen Claessen (Haskell, 2023)

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. - Agustín Mista; Alejandro Russo (ICST, 2023)

Calculating Function Sensitivity for Synthetic Data Algorithms. - Markus Pettersson; Johannes Ljung Ekeroth; Alejandro Russo (IFL, 2023)

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. - Marco Vassena; Alejandro Russo; Deepak Garg 001; Vineet Rajani; Deian Stefan (Found. Trends Program. Lang., 2023)

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell. - Abhiroop Sarkar; Alejandro Russo (CoRR, 2024)

Sensitivity by Parametricity. - Elisabet Lobo Vesga; Alejandro Russo; Marco Gaboardi; Carlos Tomé Cortiñas (Proc. ACM Program. Lang., 2024)

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. - María-Emilia Cambronero; Miguel A. Martínez 003; Luis Llana; Ricardo J. Rodríguez; Alejandro Russo (PeerJ Comput. Sci., 2024)