Alejandro Russo
Showing 81 publications
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
HasTEE - Programming Trusted Execution Environments with Haskell
Calculating Function Sensitivity for Synthetic Data Algorithms
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
Practical normalization by evaluation for EDSLs
MultiCall: A Transaction-batching Interpreter for Ethereum
A Programming Language for Data Privacy with Accuracy Estimations
Towards Secure IoT Programming in Haskell
Short Paper: Blockcheck the Typechain
Hey, my data are mine! Active data to empower the user
Securing Asynchronous Exceptions
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Generating Random Structurally Rich Algebraic Data Type Values
Optimising Faceted Secure Multi-Execution
Exponential Elimination for Bicartesian Closed Categorical Combinators
Deriving Compositional Random Generators
Branching Processes for QuickCheck Generators
MAC A verified static information-flow control library
Towards adding variety to simplicity
A Better Facet of Dynamic Information Flow Control
Faceted secure multi execution
Cryptographically Secure Information Flow Control on Key-Value Stores
Flexible dynamic information flow control in the presence of exceptions
Securing Concurrent Lazy Programs Against Information Leakage
Hails: Protecting data privacy in untrusted web applications
Fault-resilient non-interference
On formalizing information-flow control libraries
Flexible manipulation of labeled values for information-flow control libraries
The Most Dangerous Code in your Browser
Functional pearl: Two can keep a secret, if one of them uses Haskell
It's My Privilege: Controlling Downgrading in DC-Labels
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell
Building secure systems with LIO (demo)
Fault-tolerant Non-interference
Protecting Users by Confining JavaScript with COWL
On Dynamic Flow-Sensitive Floating-Label Systems
A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems
Precise Enforcement of Confidentiality for Reactive Systems
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
Towards a Taint Mode for Cloud Computing Web Application
On-The-Fly Inlining Of Dynamic Security Monitors
Hails: Protecting Data Privacy in Untrusted Web Applications
Addressing covert termination and timing channels in concurrent information flow systems
Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems
Implementing Erasure Policies Using Taint Analysis
Secure Multi-Execution in Haskell
A Taint Mode for Python via a Library
Capabilities for information flow
Testing an Optimising Compiler by Generating Random Lambda Terms
Flexible Dynamic Information Flow Control in Haskell
Flexible Dynamic Information Flow Control in Haskell
A Taint Mode for Python via a Library
On-the-fly inlining of dynamic security monitors
Dynamic vs. Static Flow-Sensitive Security Analysis
Security of Multithreaded Programs by Compilation
Unifying Facets of Information Integrity
Implicit flows in malicious and nonmalicious code
Securing Interaction between Threads and the Scheduler in the Presence of Synchronization
Secuirty of Multithreaded Programs by Compilation
A Library for Light-Weight Information-Flow Security in Haskell
From dynamic to static and back: Riding the roller coaster of information-flow control research
Tracking Information Flow in Dynamic Tree Structures
Securing Timeout Instructions in Web Applications
A Library for Light-Weight Information-Flow Security in Haskell
Closing Internal Timing Channels by Transformation
A Library for Secure Multi-threaded Information Flow in Haskell
Security of Multithreaded Programs by Compilation
Security for Multithreaded Programs under Cooperative Scheduling
Securing Interaction between Threads and the Scheduler
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.
Showing 13 research projects
EDA: Towards Enforcing Data Privacy Regulations
A Programming Framework for Differential Privacy with Accuracy Calculations
Securing Multi-Cycle Hardware Architectures
Octopi: Secure Programming for the Internet of Things
Octopi: Säker Programering för Sakernas Internet
WebSec: Securing Web-driven Systems
Running Untrusted Applications Without Revealing your Secrets
HybrId Privacy analySis wiTh hardwarE suppoRt (HIPSTER)
AppFlow: Putting Information Flow Control to Work
Characterizing Privacy-Preserving Software
Addressing Hardware Timing Covert Channles
SecOpen: Securing Open Development Platforms