Alejandro Russo

PROFILE

Homepage
No homepage is listed.
ORCID
No ORCID is listed.
Affiliations
No affiliations are listed.
Aliases
No aliases are listed.
Publication record
82 papers · 2,384 citations · H-index 27

PAPERS

Endovascular Repair of Brachiocephalic Pseudoaneurysm
20260 citationsauthor #3
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
20246 citationsauthor #5
HasTEE: Programming Trusted Execution Environments with Haskell
20235 citationsauthor #3
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
20232 citationsauthor #2
Cheap and secure metatransactions on the blockchain using hash-based authorisation and preferred batchers
20223 citationsauthor #3
MultiCall: A Transaction-batching Interpreter for Ethereum
20214 citationsauthor #2
Accompanying material: Practical Normalization by Evaluation for EDSLs
20210 citationsauthor #2
Practical normalization by evaluation for EDSLs
20212 citationsauthor #2
A Programming Language for Data Privacy with Accuracy Estimations
20219 citationsauthor #2
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
20202 citationsauthor #2
Hey, my data are mine! Active data to empower the user
20202 citationsauthor #6
Haski compiler
20200 citationsauthor #3
Securing Asynchronous Exceptions
20204 citationsauthor #3
Short Paper: Blockcheck the Typechain
20202 citationsauthor #3
Towards secure IoT programming in Haskell
20209 citationsauthor #3
From fine- to coarse-grained dynamic information flow control and back
201918 citationsauthor #2
Deriving compositional random generators
20195 citationsauthor #2
Optimising Faceted Secure Multi-Execution
20197 citationsauthor #2
Generating Random Structurally Rich Algebraic Data Type Values
20196 citationsauthor #2
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
201931 citationsauthor #2
Exponential Elimination for Bicartesian Closed Categorical Combinators
20193 citationsauthor #2
Faceted Secure Multi Execution
201820 citationsauthor #4
Branching processes for QuickCheck generators
201819 citationsauthor #2
Towards Adding Variety to Simplicity
20187 citationsauthor #4
Mechanized Proofs
20180 citationsauthor #2
A Better Facet of Dynamic Information Flow Control
201814 citationsauthor #5
Securing Concurrent Lazy Programs Against Information Leakage
201714 citationsauthor #3
Encoding DCC in Haskell
201721 citationsauthor #2
Cryptographically Secure Information Flow Control on Key-Value Stores
20178 citationsauthor #4
MAC, A Verified Static Information-Flow Control Library
201720 citationsauthor #2
Fault-Resilient Non-interference
20167 citationsauthor #3
On Formalizing Information-Flow Control Libraries
201611 citationsauthor #2
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries
20169 citationsauthor #4
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
201519 citationsauthor #5
Functional pearl: two can keep a secret, if one of them uses Haskell
201542 citationsauthor #1
The Most Dangerous Code in your Browser
20150 citationsauthor #4
The Most Dangerous Code in the Browser
201523 citationsauthor #3
HLIO: mixing static and dynamic typing for information-flow control in Haskell
201568 citationsauthor #3
It's My Privilege: Controlling Downgrading in DC-Labels
201515 citationsauthor #5
Proceedings of the 15th Workshop on Programming Languages and Analysis for Security
20140 citationsauthor #1
Security and the Average Programmer
20141 citationsauthor #6
Protecting Users by Confining JavaScript with COWL
201495 citationsauthor #4
Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security
20141 citationsauthor #1
On Dynamic Flow-Sensitive Floating-Label Systems
201427 citationsauthor #3
Fault-Tolerant Non-interference
20141 citationsauthor #2
Building secure systems with LIO (demo)
20142 citationsauthor #3
Fault-Tolerant Non-interference Extended Version
20140 citationsauthor #2
IFC Inside : A General Approach to Retrofitting Languages with Dynamic Information Flow Control
20140 citationsauthor #5
Type-Directed Compilation for Fault-Tolerant Non-Interference
20140 citationsauthor #3
Lazy Programs Leak Secrets
201320 citationsauthor #2
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
201372 citationsauthor #6
Precise Enforcement of Confidentiality for Reactive Systems
201338 citationsauthor #3
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems
201310 citationsauthor #4
Addressing covert termination and timing channels in concurrent information flow systems
201273 citationsauthor #2
Hails: Protecting data privacy in untrusted web applications
2012159 citationsauthor #7
Flexible dynamic information flow control in Haskell
2012174 citationsauthor #2
Towards a taint mode for cloud computing web applications
201219 citationsauthor #2
Flexible dynamic information flow control in the presence of exceptions*
201241 citationsauthor #4
Deliverable D3.1 Confidentiality and Integrity Policies
20110 citationsauthor #7
Capabilities for information flow
201123 citationsauthor #2
Disjunction Category Labels
201159 citationsauthor #2
Testing an optimising compiler by generating random lambda terms
2011103 citationsauthor #3
Integrity Policies via a Library in Haskell
20110 citationsauthor #2
Secure Multi-execution in Haskell
201141 citationsauthor #2
Unifying Facets of Information Integrity
201043 citationsauthor #2
On-the-fly inlining of dynamic security monitors
201063 citationsauthor #2
Implementing Erasure Policies Using Taint Analysis
201011 citationsauthor #2
Dynamic vs. Static Flow-Sensitive Security Analysis
2010208 citationsauthor #1
Implicit flows in malicious and nonmalicious code
201021 citationsauthor #1
A Taint Mode for Python via a Library
201030 citationsauthor #2
Tracking Information Flow in Dynamic Tree Structures
200976 citationsauthor #1
Securing interaction between threads and the scheduler in the presence of synchronization
200914 citationsauthor #1
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
2009134 citationsauthor #2
Securing Timeout Instructions in Web Applications
200944 citationsauthor #1
A library for light-weight information-flow security in haskell
200899 citationsauthor #1
Language Support for Controlling Timing-Based Covert Channels
20083 citationsauthor #1
A Library for Secure Multi-threaded Information Flow in Haskell
200741 citationsauthor #2
Security of multithreaded programs by compilation
200761 citationsauthor #3
Controlling Timing Channels in Multithreaded Programs
20070 citationsauthor #1
Securing interaction between threads and the scheduler
200663 citationsauthor #1
Security for Multithreaded Programs Under Cooperative Scheduling
200634 citationsauthor #1
Closing Internal Timing Channels by Transformation
200652 citationsauthor #1

TIMELINE

2006 149 citations

2007 102 citations

2008 102 citations

2009 268 citations

2010 376 citations

2011 226 citations

2012 466 citations

2013 140 citations

2014 127 citations

2015 167 citations

2016 27 citations

2017 63 citations

2018 60 citations

2019 70 citations

2020 19 citations

2021 15 citations

2022 3 citations

2023 7 citations

2024 6 citations

2026 0 citations

Alejandro Russo

PROFILE

PAPERS

TIMELINE

COAUTHOR MAP

CONCEPT FOOTPRINT