Alejandro Russo
Showing 82 publications
Accuracy for Differentially Private Quotients by Fractional Uncertainties
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
MultiCall: A Transaction-batching Interpreter for Ethereum
Practical normalization by evaluation for EDSLs
A Programming Language for Data Privacy with Accuracy Estimations
Towards Secure IoT Programming in Haskell
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Securing Asynchronous Exceptions
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Hey, my data are mine! Active data to empower the user
Short Paper: Blockcheck the Typechain
Optimising Faceted Secure Multi-Execution
Generating Random Structurally Rich Algebraic Data Type Values
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Deriving Compositional Random Generators
Exponential Elimination for Bicartesian Closed Categorical Combinators
Branching Processes for QuickCheck Generators
MAC A verified static information-flow control library
A Better Facet of Dynamic Information Flow Control
Towards adding variety to simplicity
Faceted secure multi execution
Flexible dynamic information flow control in the presence of exceptions
Cryptographically Secure Information Flow Control on Key-Value Stores
Securing Concurrent Lazy Programs Against Information Leakage
Hails: Protecting data privacy in untrusted web applications
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
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
It's My Privilege: Controlling Downgrading in DC-Labels
Building secure systems with LIO (demo)
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
Fault-tolerant Non-interference
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
Precise Enforcement of Confidentiality for Reactive Systems
Addressing covert termination and timing channels in concurrent information flow systems
On-The-Fly Inlining Of Dynamic Security Monitors
Hails: Protecting Data Privacy in Untrusted Web Applications
Towards a Taint Mode for Cloud Computing Web Application
Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems
A Taint Mode for Python via a Library
Secure Multi-Execution in Haskell
Implementing Erasure Policies Using Taint Analysis
Capabilities for information flow
Flexible Dynamic Information Flow Control in Haskell
Testing an Optimising Compiler by Generating Random Lambda Terms
Flexible Dynamic Information Flow Control in Haskell
A Taint Mode for Python via a Library
Dynamic vs. Static Flow-Sensitive Security Analysis
Security of Multithreaded Programs by Compilation
On-the-fly inlining of dynamic security monitors
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
Tracking Information Flow in Dynamic Tree Structures
Securing Timeout Instructions in Web Applications
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
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