- Hem
- Om universitetet
- Hitta person
- Alejandro Russo
Alejandro Russo
Professor Bitr
Institutionen för data- och informationsteknik-
Towards Lightweight and Efficient Choreographic Cloud
Services
Andrei-Alexandru Ionescu, Alejandro Russo
Pepm 2026 Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation Co Located with Popl 2026 - 2026 -
Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky
policies
Maria Emilia Cambronero, Miguel A. Martínez-Pietro, Luis Fernando Llana Diaz, Ricardo J. Rodriguez, Alejandro Russo
PeerJ Computer Science - 2024 -
Hey, my data are mine! Active data to empower the
user
G. L. Scoccia, M. Autili, P. Pelliccione, P. Inverardi, M. M. Fiore, Alejandro Russo
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results - 2020 -
Flexible manipulation of labeled values for information-flow control
libraries
Marco Vassena, Pablo Buiras, L. Waye, Alejandro Russo
Lecture Notes in Computer Science. 21st European Symposium on Research in Computer Security, ESORICS 2016; Heraklion; Greece; 26 September 2016 through 30 September 2016 - 2016 -
It's My Privilege: Controlling Downgrading in
DC-Labels
Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo
Lecture Notes in Computer Science. 11th International Workshop on Security and Trust Management, STM 2015, Vienna, Austria, 21-22 September 2015 - 2015 -
HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in
Haskell
Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - 2015 -
Functional pearl: Two can keep a secret, if one of them uses
Haskell
Alejandro Russo
ACM Sigplan Notices. 20th ACM SIGPLAN International Conference on Functional Programming (ICFP) - 2015 -
IFC Inside: Retrofitting Languages with Dynamic Information Flow
Control
Heule Stefan, Deian Stefan, Edward Z. Yang, Alejandro Russo, John C. Mitchell
Proceedings of the 4th Conference on Principles of Security and Trust (POST 2015) - 2015 -
The Most Dangerous Code in your
Browser
Stefan Heule, Devon Rifkin, Deian Stefan, Alejandro Russo
15th USENIX Workshop on Hot Topics in Operating Systems - 2015 -
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 - 2014 -
Fault-tolerant
Non-interference
Filippo Del Tedesco, Alejandro Russo, David Sands
International Symposium on Secure Software and Systems - 2014 -
Building secure systems with LIO
(demo)
D. Stefan, A. Levy, Alejandro Russo, D. Mazières
Haskell 2014 - Proceedings of the 2014 ACM SIGPLAN Haskell Symposium - 2014 -
Protecting Users by Confining JavaScript with
COWL
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, Dave Herman, Brad Karp, David Mazières
Symposium on Operating Systems Design and Implementation (OSDI 2014) - 2014 -
Lazy Programs Leak
Secrets
Pablo Buiras, Alejandro Russo
Lecture Notes in Computer Science: Secure IT Systems, NORDSEC 2013. 18th Nordic Conference on Secure IT Systems (NordSec) - 2013 -
Eliminating Cache-Based Timing Attacks with Instruction-Based
Scheduling
Deian Stefan, Pablo Buiras, Edward Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
18th European Symposium on Research in Computer Security (ESORICS) 2013 - 2013 -
A Library for Removing Cache-based Attacks in Concurrent Information Flow
Systems
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
Lecture notes in computer science: 8th International Symposium on Trustworthy Global Computing, TGC 2013, Buenos Aires, Argentina, 30-31 August 2013 - 2013 -
Precise Enforcement of Confidentiality for Reactive
Systems
Dante Zanarini, Mauro Jaskelioff, Alejandro Russo
IEEE Computer Security Foundations Symposium - 2013 -
Addressing Covert Termination and Timing Channels in Concurrent Information Flow
Systems
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012. Copenhagen, 9 - 15 September 2012 - 2012 -
Towards a Taint Mode for Cloud Computing Web
Application
Luciano Bello, Alejandro Russo
7th Workshop on Programming Languages and Analysis for Security - 2012 -
On-The-Fly Inlining Of Dynamic Security
Monitors
Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld
Computers & security - 2012 -
Hails: Protecting Data Privacy in Untrusted Web
Applications
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John Mitchell, Alejandro Russo
Symposium on Operating Systems Design and Implementation - 2012 -
Capabilities for information
flow
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
ACM SIGPLAN Workshop on Programming Languages and Analysis for Security - 2011 -
Flexible Dynamic Information Flow Control in
Haskell
D. Stefan, Alejandro Russo, J. C. Mitchell, D. Mazieres
ACM Sigplan Notices - 2011 -
Flexible Dynamic Information Flow Control in
Haskell
Deian Stefan, Alejandro Russo, John Mitchell, David Mazieres
ACM SIGPLAN Haskell Symposium 2011 - 2011 -
Disjunction Category
Labels
Deian Stefan, Alejandro Russo, David Mazieres, John C. Mitchell
Nordic Conference in Secure IT Systems - 2011 -
Testing an Optimising Compiler by Generating Random Lambda
Terms
Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes
International Workshop on Automation of Software Test - 2011 -
Secure Multi-Execution in
Haskell
Mauro Jaskelioff, Alejandro Russo
Andrei Ershov International Conference on Perspectives of System Informatics - 2011 -
Implementing Erasure Policies Using Taint
Analysis
Filippo Del Tedesco, Alejandro Russo, David Sands
Nordic Conference in Secure IT Systems (NORDSEC 2010), 2010, Espoo, Finland - 2010 -
A taint mode for python via a
library
J.J. Conti, Alejandro Russo
Lecture Notes in Computer Science: 15th Nordic Conference on Secure IT Systems, NordSec 2010; Espoo; Finland; 27 October 2010 through 29 October 2010 - 2010 -
Dynamic vs. Static Flow-Sensitive Security
Analysis
Alejandro Russo, Andrei Sabelfeld
Proceedings of the IEEE Computer Security Foundations Symposium - 2010 -
On-the-fly inlining of dynamic security
monitors
Jonas Magazinius, Alejandro Russo, Andrei Sabelfeld
25th IFIP TC 11 International Information Security Conference, SEC 2010; Brisbane QLD; Australia; 20 September 2010 through 23 September 2010 - 2010 -
Unifying Facets of Information
Integrity
Arnar Birgisson, Alejandro Russo, Andrei Sabelfeld
Springer LNCS Proceedings of Sixth International Conference on Information Systems Security - 2010 -
Security of Multithreaded Programs by
Compilation
G. Barthe, T. Rezk, Alejandro Russo, Andrei Sabelfeld
ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY - 2010 -
A Taint Mode for Python via a
Library
Juan Jóse Conti, Alejandro Russo
OWASP AppSec Research 2010 - 2010 -
Securing Interaction between Threads and the Scheduler in the Presence of
Synchronization
Alejandro Russo, Andrei Sabelfeld
Journal of Logic and Algebraic Programming - 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. 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, Novosibirsk, 15-19 June 2009 - 2009 -
Tracking Information Flow in Dynamic Tree
Structures
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
Lecture Notes in Computer Science: 14th European Symposium on Research in Computer Security, ESORICS 2009; Saint-Malo; France; 21 September 2009 through 23 September 2009 - 2009 -
Implicit flows in malicious and nonmalicious
code
Alejandro Russo, Andrei Sabelfeld, Li Keqin
Proceedings of the 2009 Marktoberdorf Summer School, IOS Press - 2009 -
Securing Timeout Instructions in Web
Applications
Alejandro Russo, Andrei Sabelfeld
Proceedings of the 22th IEEE Computer Security Foundations Symposium - 2009 -
Secuirty of Multithreaded Programs by
Compilation
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
Special Issue of ACM Transactions on Information and System Security (TISSEC) - 2009 -
A Library for Light-Weight Information-Flow Security in
Haskell
Alejandro Russo, Koen Claessen, John Hughes
ACM Sigplan Notices - 2009 -
A Library for Light-Weight Information-Flow Security in
Haskell
Alejandro Russo, Koen Claessen, John Hughes
1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008 - 2008 -
Language Support for Controlling Timing-Based Covert
Channels
Alejandro Russo
2008 -
Security of Multithreaded Programs by
Compilation
Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld
Proceedings of the 12th European Symposium on Research in Computer Security (ESORICS) - 2007 -
Closing Internal Timing Channels by
Transformation
Alejandro Russo, John Hughes, David Naumann, Andrei Sabelfeld
Proceedings of the 11th Annual Asian Computing Science Conference - 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. - 2007 -
Controlling Timing Channels in Multithreaded
Programs
Alejandro Russo
2007 -
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. - 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. - 2006