Alejandro Russo

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 37

Top Venues

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

María-Emilia Cambronero, Miguel A. Martínez, Luis Llana, Ricardo J. Rodríguez, Alejandro Russo
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies. PeerJ Comput. Sci. 10 (2024)
Abhiroop Sarkar, Alejandro Russo
HasTEE+ : Confidential Cloud Computing and Analytics with Haskell. CoRR (2024)
Markus Pettersson, Johannes Ljung Ekeroth, Alejandro Russo
Calculating Function Sensitivity for Synthetic Data Algorithms. IFL (2023)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back. Found. Trends Program. Lang. 8 (1) (2023)
Agustín Mista, Alejandro Russo
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations. ICST (2023)
Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
HasTEE: Programming Trusted Execution Environments with Haskell. CoRR (2023)
Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
HasTEE: Programming Trusted Execution Environments with Haskell. Haskell (2023)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. CoRR (2022)
William Hughes, Alejandro Russo, Gerardo Schneider
MultiCall: A Transaction-batching Interpreter for Ethereum. BSCI (2021)
Nachiappan Valliappan, Alejandro Russo, Sam Lindley
Practical normalization by evaluation for EDSLs. Haskell (2021)
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
A Programming Language for Data Privacy with Accuracy Estimations. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Sergio Benitez, Jonathan Cogan, Alejandro Russo
Short Paper: Blockcheck the Typechain. PLAS@CCS (2020)
Carlos Tomé Cortiñas, Marco Vassena, Alejandro Russo
Securing Asynchronous Exceptions. CSF (2020)
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. IEEE Symposium on Security and Privacy (2020)
Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen
Towards secure IoT programming in Haskell. Haskell@ICFP (2020)
Agustín Mista, Alejandro Russo
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs. TFP (2020)
Gian Luca Scoccia, Marco Autili, Patrizio Pelliccione, Paola Inverardi, Matteo Maria Fiore, Alejandro Russo
Hey, my data are mine!: active data to empower the user. ICSE (NIER) (2020)
Marco Vassena, Alejandro Russo, Deepak Garg, Vineet Rajani, Deian Stefan
From fine- to coarse-grained dynamic information flow control and back. Proc. ACM Program. Lang. 3 (POPL) (2019)
Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds. CoRR (2019)
Nachiappan Valliappan, Alejandro Russo
Exponential Elimination for Bicartesian Closed Categorical Combinators. PPDP (2019)
Agustín Mista, Alejandro Russo
Deriving compositional random generators. IFL (2019)
Maximilian Algehed, Alejandro Russo, Cormac Flanagan
Optimising Faceted Secure Multi-Execution. CSF (2019)
Agustín Mista, Alejandro Russo
Generating random structurally rich algebraic data type values. AST@ICSE (2019)
Agustín Mista, Alejandro Russo, John Hughes
Branching Processes for QuickCheck Generators. CoRR (2018)
Agustín Mista, Alejandro Russo, John Hughes
Branching processes for QuickCheck generators. Haskell@ICFP (2018)
Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, Alejandro Russo
Faceted Secure Multi Execution. CCS (2018)
Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, Alejandro Russo
Towards Adding Variety to Simplicity. ISoLA (4) (2018)
Minh Ngo, Nataliia Bielova, Cormac Flanagan, Tamara Rezk, Alejandro Russo, Thomas Schmitz
A Better Facet of Dynamic Information Flow Control. WWW (Companion Volume) (2018)
Maximilian Algehed, Alejandro Russo
Encoding DCC in Haskell. PLAS@CCS (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CCS (2017)
Marco Vassena, Joachim Breitner, Alejandro Russo
Securing Concurrent Lazy Programs Against Information Leakage. CSF (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CoRR (2017)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. 25 (4-5) (2017)
Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo
Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. 27 (2017)
Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. ESORICS (1) (2016)
Marco Vassena, Alejandro Russo
On Formalizing Information-Flow Control Libraries. PLAS@CCS (2016)
Filippo Del Tedesco, David Sands, Alejandro Russo
Fault-Resilient Non-interference. CSF (2016)
Pablo Buiras, Deian Stefan, Alejandro Russo
On Dynamic Flow-Sensitive Floating-Label Systems. CoRR (2015)
Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan
The Most Dangerous Code in the Browser. HotOS (2015)
Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo
It's My Privilege: Controlling Downgrading in DC-Labels. STM (2015)
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version). CoRR (2015)
Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
HLIO: mixing static and dynamic typing for information-flow control in Haskell. ICFP (2015)
Alejandro Russo
Functional pearl: two can keep a secret, if one of them uses Haskell. ICFP (2015)
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control. POST (2015)
Filippo Del Tedesco, Alejandro Russo, David Sands
Fault-Tolerant Non-interference. ESSoS (2014)
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières
Protecting Users by Confining JavaScript with COWL. OSDI (2014)
Deian Stefan, Amit Levy, Alejandro Russo, David Mazières
Building secure systems with LIO (demo). Haskell (2014)
Filippo Del Tedesco, David Sands, Alejandro Russo
Type-Directed Compilation for Fault-Tolerant Non-Interference. CoRR (2014)
Pablo Buiras, Deian Stefan, Alejandro Russo
On Dynamic Flow-Sensitive Floating-Label Systems. CSF (2014)
Pablo Buiras, Alejandro Russo
Lazy Programs Leak Secrets. NordSec (2013)
Dante Zanarini, Mauro Jaskelioff, Alejandro Russo
Precise Enforcement of Confidentiality for Reactive Systems. CSF (2013)
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS (2013)
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. TGC (2013)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI (2012)
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)
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible Dynamic Information Flow Control in the Presence of Exceptions CoRR (2012)
Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld
On-the-fly inlining of dynamic security monitors. Comput. Secur. 31 (7) (2012)
Luciano Bello, Alejandro Russo
Towards a taint mode for cloud computing web applications. PLAS (2012)
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible dynamic information flow control in Haskell. Haskell (2011)
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
Capabilities for information flow. PLAS (2011)
Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
Disjunction Category Labels. NordSec (2011)
Mauro Jaskelioff, Alejandro Russo
Secure Multi-execution in Haskell. Ershov Memorial Conference (2011)
Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes
Testing an optimising compiler by generating random lambda terms. AST (2011)
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
Unifying Facets of Information Integrity. ICISS (2010)
Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld
On-the-fly Inlining of Dynamic Security Monitors. SEC (2010)
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
Security of multithreaded programs by compilation. ACM Trans. Inf. Syst. Secur. 13 (3) (2010)
Filippo Del Tedesco, Alejandro Russo, David Sands
Implementing Erasure Policies Using Taint Analysis. NordSec (2010)
Juan José Conti, Alejandro Russo
A Taint Mode for Python via a Library. NordSec (2010)
Alejandro Russo, Andrei Sabelfeld
Dynamic vs. Static Flow-Sensitive Security Analysis. CSF (2010)
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
Tracking Information Flow in Dynamic Tree Structures. ESORICS (2009)
Andrei Sabelfeld, Alejandro Russo
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. Ershov Memorial Conference (2009)
Alejandro Russo, Andrei Sabelfeld
Securing Timeout Instructions in Web Applications. CSF (2009)
Alejandro Russo, Andrei Sabelfeld
Securing interaction between threads and the scheduler in the presence of synchronization. J. Log. Algebraic Methods Program. 78 (7) (2009)
Alejandro Russo, Koen Claessen, John Hughes
A library for light-weight information-flow security in haskell. Haskell (2008)
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
Security of Multithreaded Programs by Compilation. ESORICS (2007)
Ta-Chung Tsai, Alejandro Russo, John Hughes
A Library for Secure Multi-threaded Information Flow in Haskell. CSF (2007)
Alejandro Russo, Andrei Sabelfeld
Security for Multithreaded Programs Under Cooperative Scheduling. Ershov Memorial Conference (2006)
Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld
Closing Internal Timing Channels by Transformation. ASIAN (2006)
Alejandro Russo, Andrei Sabelfeld
Securing Interaction between Threads and the Scheduler. CSFW (2006)

Alejandro Russo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alejandro Russo