Alejandro Russo

Hey, my data are mine!: active data to empower the user

Paola Inverardi, Patrizio Pelliccione, Marco Autili, 2020, ICSE.

Towards secure IoT programming in Haskell

Nachiappan Valliappan, Koen Claessen, Alejandro Russo, 2020, Haskell@ICFP.

BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs

Alejandro Russo, Agustín Mista, 2020, TFP.

Deriving Compositional Random Generators

Alejandro Russo, Claudio Agustin Mista, 2019 .

Proceedings of the 15th Workshop on Programming Languages and Analysis for Security

Omer Tripp, Alejandro Russo, 2014, ECOOP 2014.

Securing Asynchronous Exceptions

Marco Vassena, Alejandro Russo, Carlos Tomé Cortiñas, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).

Controlling Timing Channels in Multithreaded Programs

Alejandro Russo, 2007 .

Flexible dynamic information flow control in the presence of exceptions* pdf

Deian Stefan, John C. Mitchell, David Mazières, 2012, Journal of Functional Programming.