Alejandro Russo
Visar 79 publikationer
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
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
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Hey, my data are mine! Active data to empower the user
Short Paper: Blockcheck the Typechain
Securing Asynchronous Exceptions
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
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
Addressing covert termination and timing channels in concurrent information flow systems
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
A Taint Mode for Python via a Library
Implementing Erasure Policies Using Taint Analysis
Secure Multi-Execution in Haskell
Capabilities for information flow
Flexible Dynamic Information Flow Control in Haskell
Flexible Dynamic Information Flow Control in Haskell
Testing an Optimising Compiler by Generating Random Lambda Terms
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
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
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
Language Support for Controlling Timing-Based Covert Channels
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 13 forskningsprojekt
EDA: Towards Enforcing Data Privacy Regulations
A Programming Framework for Differential Privacy with Accuracy Calculation
Securing Multi-Cycle Hardware Architectures
Octopi: Säker Programmering för Sakernas Internet
Octopi: Säker Programering för Sakernas Internet
WebSec: Säkerhet i webb-drivna system
Running Untrusted Applications Without Revealing your Secrets
HybrId Privacy analySis wiTh hardwarE suppoRt (HIPSTER)
SecOpen: Säkrande av Öppna Utvecklingsplattformar