Alejandro Russo

Biträdande professor vid Chalmers, Data- och informationsteknik, Informationssäkerhet

Länk till personlig sida.

Källa: chalmers.se

Visar 56 publikationer

2018

MAC A verified static information-flow control library

Marco Vassena, Alejandro Russo, Pablo Buiras et al
Journal of Logical and Algebraic Methods in Programming. Vol. 95, p. 148-180
Artikel i vetenskaplig tidskrift
2017

Hails: Protecting data privacy in untrusted web applications

Daniel Giffin, Amit Levy, Deian Stefan et al
Journal of Computer Security. Vol. 25 (4-5), p. 427-461
Artikel i vetenskaplig tidskrift
2017

Securing Concurrent Lazy Programs Against Information Leakage

Marco Vassena, Joachim Breitner, Alejandro Russo
Proceedings - IEEE Computer Security Foundations Symposium, p. 37-52
Paper i proceeding
2017

Cryptographically Secure Information Flow Control on Key-Value Stores

Lucas Waye, Pablo Buiras, Owen Arden et al
Proceedings of the ACM Conference on Computer and Communications Security, p. 1893-1907
Paper i proceeding
2017

Flexible dynamic information flow control in the presence of exceptions

Deian Stefan, David Mazières, John C. Mitchell et al
Journal of Functional Programming. Vol. 27 (e5)
Artikel i vetenskaplig tidskrift
2017

Encoding DCC in Haskell

Maximilian Algehed, Alejandro Russo
Paper i proceeding
2017

MAC, A Verified Static Information-Flow Control Library

Marco Vassena, Alejandro Russo
Journal of Logical and Algebraic Methods in Programming
Reviewartikel
2016

Flexible manipulation of labeled values for information-flow control libraries

Marco Vassena, Pablo Buiras, L. Waye et al
Lecture Notes in Computer Science. Vol. 9878 LNCS, 2016, p. 538-557
Paper i proceeding
2016

Fault-resilient non-interference

Filippo Del Tedesco, David Sands, Alejandro Russo
29th IEEE Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, 27 June - 1 July 2016, p. 401-416
Paper i proceeding
2016

On formalizing information-flow control libraries

Marco Vassena, Alejandro Russo
11th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS 2016, Vienna, Austria, 24 October 2016, p. 15-28
Paper i proceeding
2015

Functional pearl: Two can keep a secret, if one of them uses Haskell

Alejandro Russo
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (9), p. 280-288
Paper i proceeding
2015

HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (9), p. 289-301
Paper i proceeding
2015

The Most Dangerous Code in your Browser

Stefan Heule, Devon Rifkin, Deian Stefan et al
15th USENIX Workshop on Hot Topics in Operating Systems
Paper i proceeding
2015

It's My Privilege: Controlling Downgrading in DC-Labels

L. Waye, Pablo Buiras, Dan King et al
Lecture Notes in Computer Science. Vol. 9331, p. 203-219
Paper i proceeding
2015

IFC Inside: Retrofitting Languages with Dynamic Information Flow Control

Heule Stefan, Deian Stefan, Edward Z. Yang et al
Lecture Notes in Computer Science, p. 11-31
Paper i proceeding
2014

Fault-tolerant Non-interference

Filippo Del Tedesco, Alejandro Russo, David Sands
Lecture Notes in Computer Science, p. 60-76
Paper i proceeding
2014

Building secure systems with LIO (demo)

D. Stefan, Amit Levy, Alejandro Russo et al
Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium, p. 93-94
Paper i proceeding
2014

Protecting Users by Confining JavaScript with COWL

Deian Stefan, Edward Z. Yang, Petr Marchenko et al
Symposium on Operating Systems Design and Implementation (OSDI 2014)
Paper i proceeding
2014

On Dynamic Flow-Sensitive Floating-Label Systems

Pablo Buiras, Deian Stefan, Alejandro Russo
27th IEEE Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July 2014. Vol. 2014-January, p. 65-79
Paper i proceeding
2013

Precise Enforcement of Confidentiality for Reactive Systems

Dante Zanarini, Mauro Jaskelioff, Alejandro Russo
IEEE Computer Security Foundations Symposium, p. 18-32
Paper i proceeding
2013

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling

Deian Stefan, Pablo Buiras, E.Z. Yang et al
Lecture Notes in Computer Science. Vol. 8134, p. 718-735
Paper i proceeding
2013

Lazy Programs Leak Secrets

Pablo Buiras, Alejandro Russo
Lecture Notes in Computer Science. Vol. 8208, p. 116-122
Paper i proceeding
2013

A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems

Pablo Buiras, Amit Levy, Deian Stefan et al
Lecture Notes in Computer Science. Vol. 8358, p. 199-216
Paper i proceeding
2012

Towards a Taint Mode for Cloud Computing Web Application

Luciano Bello, Alejandro Russo
7th Workshop on Programming Languages and Analysis for Security, p. 7:1--7:12-
Paper i proceeding
2012

Hails: Protecting Data Privacy in Untrusted Web Applications

Daniel B. Giffin, Amit Levy, Deian Stefan et al
Symposium on Operating Systems Design and Implementation
Paper i proceeding
2012

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems

Deian Stefan, Alejandro Russo, Pablo Buiras et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (9), p. 201-213
Paper i proceeding
2012

Addressing covert termination and timing channels in concurrent information flow systems

D. Stefan, Alejandro Russo, Pablo Buiras et al
ACM SIGPLAN Notices. Vol. 47 (9), p. 201-213
Artikel i vetenskaplig tidskrift
2012

On-The-Fly Inlining Of Dynamic Security Monitors

Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld
Computers and Security. Vol. 31 (7), p. 827-843
Artikel i vetenskaplig tidskrift
2011

Testing an Optimising Compiler by Generating Random Lambda Terms

Michal Palka, Koen Lindström Claessen, Alejandro Russo et al
International Workshop on Automation of Software Test
Paper i proceeding
2011

Capabilities for information flow

Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, p. article no. 5-
Paper i proceeding
2011

Secure Multi-Execution in Haskell

Mauro Jaskelioff, Alejandro Russo
Andrei Ershov International Conference on Perspectives of System Informatics
Paper i proceeding
2011

Flexible Dynamic Information Flow Control in Haskell

Deian Stefan, Alejandro Russo, John Mitchell et al
ACM SIGPLAN Haskell Symposium 2011, p. 95-106
Paper i proceeding
2011

Flexible Dynamic Information Flow Control in Haskell

D. Stefan, Alejandro Russo, J. C. Mitchell et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 46 (12), p. 95-106
Artikel i vetenskaplig tidskrift
2011

Disjunction Category Labels

Deian Stefan, Alejandro Russo, David Mazieres et al
Nordic Conference in Secure IT Systems
Paper i proceeding
2010

Implementing Erasure Policies Using Taint Analysis

Filippo Del Tedesco, Alejandro Russo, David Sands
Lecture Notes in Computer Science. Vol. 7127, p. 193-209
Paper i proceeding
2010

A Taint Mode for Python via a Library

Juan Jóse Conti, Alejandro Russo
OWASP AppSec Research 2010
Paper i proceeding
2010

A Taint Mode for Python via a Library

J.J. Conti, Alejandro Russo
Lecture Notes in Computer Science. Vol. 7127, p. 210-222
Paper i proceeding
2010

On-the-fly inlining of dynamic security monitors

Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld
IFIP Advances in Information and Communication Technology. Vol. 330, p. 173-186
Paper i proceeding
2010

Unifying Facets of Information Integrity

Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
Lecture Notes in Computer Science. Vol. 6503, p. 48-65
Paper i proceeding
2010

Security of Multithreaded Programs by Compilation

Gilles Barthes, T. Rezk, Alejandro Russo et al
ACM Transactions on Information and System Security. Vol. 13 (3)
Artikel i vetenskaplig tidskrift
2010

Dynamic vs. Static Flow-Sensitive Security Analysis

Alejandro Russo, Andrei Sabelfeld
Proceedings of the IEEE Computer Security Foundations Symposium, p. 186-199
Paper i proceeding
2009

Secuirty of Multithreaded Programs by Compilation

Gilles Barthe, Tamara Rezk, Alejandro Russo et al
Artikel i vetenskaplig tidskrift
2009

Implicit flows in malicious and nonmalicious code

Alejandro Russo, Andrei Sabelfeld, Li Keqin
Proceedings of the 2009 Marktoberdorf Summer School, IOS Press
Paper i proceeding
2009

A Library for Light-Weight Information-Flow Security in Haskell

Alejandro Russo, Koen Lindström Claessen, John Hughes
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 44 (2), p. 13-24
Artikel i vetenskaplig tidskrift
2009

Securing Timeout Instructions in Web Applications

Alejandro Russo, Andrei Sabelfeld
Proceedings of the 22th IEEE Computer Security Foundations Symposium
Paper i proceeding
2009

From dynamic to static and back: Riding the roller coaster of information-flow control research

Andrei Sabelfeld, Alejandro Russo
Lecture Notes in Computer Science. Vol. 5947, p. 352-365
Paper i proceeding
2009

Tracking Information Flow in Dynamic Tree Structures

Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
Lecture Notes in Computer Science, p. 86-103
Paper i proceeding
2009

Securing Interaction between Threads and the Scheduler in the Presence of Synchronization

Alejandro Russo, Andrei Sabelfeld
Journal of Logic and Algebraic Programming. Vol. 78 (7), p. 593-618
Artikel i vetenskaplig tidskrift
2008

A Library for Light-Weight Information-Flow Security in Haskell

Alejandro Russo, Koen Lindström Claessen, John Hughes
1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008, p. 13-24
Paper i proceeding
2008

Language Support for Controlling Timing-Based Covert Channels

Alejandro Russo
Doktorsavhandling
2007

Controlling Timing Channels in Multithreaded Programs

Alejandro Russo
Licentiatavhandling
2007

Security of Multithreaded Programs by Compilation

Gilles Barthe, Tamara Rezk, Alejandro Russo et al
Lecture Notes in Computer Science. Vol. 4734, p. 2-18
Paper i proceeding
2007

A Library for Secure Multi-threaded Information Flow in Haskell

Tsa-chung Tsai, Alejandro Russo, John Hughes
Proceedings of the 20th IEEE Computer Security Foundations Symposium. IEEE Computer Society Press.
Paper i proceeding
2007

Closing Internal Timing Channels by Transformation

Alejandro Russo, John Hughes, David Naumann et al
Proceedings of the 11th Annual Asian Computing Science Conference
Paper i proceeding
2006

Securing Interaction between Threads and the Scheduler

Alejandro Russo, Andrei Sabelfeld
Proceedings of the 19th IEEE Computer Security Foundations Workshop, Venice, Italy, July 5-7, 2006. IEEE Computer Society Press.
Paper i proceeding
2006

Security for Multithreaded Programs under Cooperative Scheduling

Alejandro Russo, Andrei Sabelfeld
Proceedings of Andrei Ershov International Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, June 27-30, 2006. LNCS, Springer-Verlag.
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 8 forskningsprojekt

2015–2018

AppFlow

David Sands Programvaruteknik
Andrei Sabelfeld Informationssäkerhet
Alejandro Russo Informationssäkerhet
Niklas Broberg Informationssäkerhet
Vetenskapsrådet (VR)

2011–2012

Securing Google App Engine

Alejandro Russo Informationssäkerhet
Google Inc.

2018–

Octopi: Säker Programmering för Sakernas Internet

Alejandro Russo Informationssäkerhet
John Hughes Funktionell programmering
Mary Sheeran Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Carl-Johan Seger Funktionell programmering
Stiftelsen för Strategisk forskning (SSF)

2017–2018

Running Untrusted Applications Without Revealing your Secrets

Alejandro Russo Informationssäkerhet
STINT

2014–2015

Characterizing Privacy-Preserving Software

Alejandro Russo Programvaruteknik
STINT

2012–2013

Addressing Hardware Timing Covert Channles

Alejandro Russo Informationssäkerhet
STINT

2012–2015

SecOpen: Säkrande av Öppna Utvecklingsplattformar

Alejandro Russo Programvaruteknik
Vetenskapsrådet (VR)

2016–2019

HybrId Privacy analySis wiTh hardwarE suppoRt (HIPSTER)

Alejandro Russo Programvaruteknik
Vetenskapsrådet (VR)

Det kan finnas fler projekt där Alejandro Russo medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.