Alejandro Russo
Showing 75 publications
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
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Hey, my data are mine! Active data to empower the user
BinderAnn: Automated Reification of Source Annotations for Monadic EDSLs
Short Paper: Blockcheck the Typechain
Securing Asynchronous Exceptions
Towards Secure IoT Programming in Haskell
Exponential Elimination for Bicartesian Closed Categorical Combinators
Generating Random Structurally Rich Algebraic Data Type Values
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Deriving Compositional Random Generators
Optimising Faceted Secure Multi-Execution
Towards adding variety to simplicity
MAC A verified static information-flow control library
Branching Processes for QuickCheck Generators
A Better Facet of Dynamic Information Flow Control
Faceted secure multi execution
Hails: Protecting data privacy in untrusted web applications
Securing Concurrent Lazy Programs Against Information Leakage
Cryptographically Secure Information Flow Control on Key-Value Stores
Flexible dynamic information flow control in the presence of exceptions
Flexible manipulation of labeled values for information-flow control libraries
Fault-resilient non-interference
On formalizing information-flow control libraries
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
The Most Dangerous Code in your Browser
It's My Privilege: Controlling Downgrading in DC-Labels
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
Fault-tolerant Non-interference
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
Precise Enforcement of Confidentiality for Reactive Systems
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
A Taint Mode for Python via a Library
Implementing Erasure Policies Using Taint Analysis
Towards a Taint Mode for Cloud Computing Web Application
Hails: Protecting Data Privacy in Untrusted Web Applications
Secure Multi-Execution in Haskell
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
Testing an Optimising Compiler by Generating Random Lambda Terms
Capabilities for information flow
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
Unifying Facets of Information Integrity
Dynamic vs. Static Flow-Sensitive Security Analysis
Secuirty of Multithreaded Programs by Compilation
Implicit flows in malicious and nonmalicious code
A Library for Light-Weight Information-Flow Security in Haskell
Securing Timeout Instructions in Web Applications
From dynamic to static and back: Riding the roller coaster of information-flow control research
Tracking Information Flow in Dynamic Tree Structures
Securing Interaction between Threads and the Scheduler in the Presence of Synchronization
A Library for Light-Weight Information-Flow Security in Haskell
Security of Multithreaded Programs by Compilation
A Library for Secure Multi-threaded Information Flow in Haskell
Closing Internal Timing Channels by Transformation
Securing Interaction between Threads and the Scheduler
Security for Multithreaded Programs under Cooperative Scheduling
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 11 research projects
Securing Multi-Cycle Hardware Architectures
Octopi: Secure Programming for the Internet of Things
WebSec: Securing Web-driven Systems
Octopi: Säker Programering för Sakernas Internet
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