Alejandro Russo

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