Russo, Alejandro - Department of Computer Science and Engineering, Chalmers University of Technology

Advanced Search

Russo, Alejandro - Department of Computer Science and Engineering, Chalmers University of Technology

Securing Interaction between Threads and the Scheduler Alejandro Russo Andrei Sabelfeld
A Library for Light-Weight Information-Flow Security in Haskell Alejandro Russo Koen Claessen John Hughes
Chalmers University of Technology University of Gothenburg
Dynamic vs. Static Flow-Sensitive Security Analysis Alejandro Russo Andrei Sabelfeld
Thesis for the Degree of Licentiate of Engineering Controlling Timing Channels in
Capabilities for information flow Arnar Birgisson Alejandro Russo Andrei Sabelfeld
Unifying Facets of Information Integrity Arnar Birgisson, Alejandro Russo, and Andrei Sabelfeld
On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius, Alejandro Russo, and Andrei Sabelfeld
Security of Multithreaded Programs by Compilation Gilles Barthe
Securing Interaction between Threads and the Scheduler in the Presence of Synchronization
Security for Multithreaded Programs under Cooperative Scheduling
Testing an Optimising Compiler by Generating Random Lambda Terms
Implicit flows in malicious and nonmalicious code
A Taint Mode for Python via a Library Juan Jose Conti1
Implementing Erasure Policies Using Taint Analysis
A Library for Secure Multithreaded Information Flow in Haskell Tachung Tsai Alejandro Russo John Hughes
Dynamic vs. Static Flow-Sensitive Security Analysis Alejandro Russo Andrei Sabelfeld
Securing Timeout Instructions in Web Applications Alejandro Russo Andrei Sabelfeld
Closing Internal Timing Channels by Transformation Alejandro Russo 1 , John Hughes 1 , David Naumann 2 , and Andrei Sabelfeld 1
Secure Multi-Execution in Haskell Mauro Jaskelioff and Alejandro Russo
Tracking Information Flow in Dynamic Tree Structures Alejandro Russo1
Tracking Information Flow in Dynamic Tree Structures Alejandro Russo1
Security of Multithreaded Programs by Compilation Gilles Barthe1
Principal Type Specialization of Dynamic Sum-Types
Thesis for the Degree of Doctor of Philosophy Language Support for Controlling
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 Alejandro Russo Koen Claessen John Hughes
Flexible Dynamic Information Flow Control in Haskell Deian Stefan1 Alejandro Russo2 John C. Mitchell1 David Mazi`eres1
Flexible Dynamic Information Flow Control in Haskell Extended Version