Alejandro Russo
Showing 79 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
MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations
HasTEE - Programming Trusted Execution Environments with Haskell
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
Hey, my data are mine! Active data to empower the user
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Securing Asynchronous Exceptions
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Short Paper: Blockcheck the Typechain
Optimising Faceted Secure Multi-Execution
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Generating Random Structurally Rich Algebraic Data Type Values
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
Flexible dynamic information flow control in the presence of exceptions
Cryptographically Secure Information Flow Control on Key-Value Stores
Hails: Protecting data privacy in untrusted web applications
Securing Concurrent Lazy Programs Against Information Leakage
Fault-resilient non-interference
Flexible manipulation of labeled values for information-flow control libraries
On formalizing information-flow control libraries
The Most Dangerous Code in your Browser
Functional pearl: Two can keep a secret, if one of them uses Haskell
HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell
It's My Privilege: Controlling Downgrading in DC-Labels
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Building secure systems with LIO (demo)
A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems
Fault-tolerant Non-interference
Protecting Users by Confining JavaScript with COWL
On Dynamic Flow-Sensitive Floating-Label 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
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
On-The-Fly Inlining Of Dynamic Security Monitors
Implementing Erasure Policies Using Taint Analysis
A Taint Mode for Python via a Library
Secure Multi-Execution in Haskell
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
Security of Multithreaded Programs by Compilation
On-the-fly inlining of dynamic security monitors
Dynamic vs. Static Flow-Sensitive Security Analysis
Unifying Facets of Information Integrity
Securing Interaction between Threads and the Scheduler in the Presence of Synchronization
Implicit flows in malicious and nonmalicious code
Secuirty of Multithreaded Programs by Compilation
From dynamic to static and back: Riding the roller coaster of information-flow control research
A Library for Light-Weight Information-Flow Security in Haskell
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
Security of Multithreaded Programs by Compilation
A Library for Secure Multi-threaded Information Flow in Haskell
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