Get started
Author

Alejandro Russo

Observed names: A. Russo, ALEJANDRO RUSSO, Russo, A, Russo, Alejandro
ORCID: 0000-0002-4338-6316
Observed ORCID: 0000-0002-4338-6316
OpenAlex ID: A5028178671
Dynamic vs. Static Flow-Sensitive Security Analysis
2010 · Alejandro Russo, Andrei Sabelfeld · IEEE Computer Security Foundations Workshop (CSFW) · 195
Flexible dynamic information flow control in Haskell
2011 · Deian Stefan, Alejandro Russo, et al. · 162
Hails: Protecting data privacy in untrusted web applications
2017 · Daniel Giffin, Amit Levy, et al. · Journal of Computer Security · 134
Testing an optimising compiler by generating random lambda terms
2011 · Michał H. Pałka, Koen Claessen, et al. · International Workshop on Automation of Software Test (AST) · 131
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research
2010 · Andrei Sabelfeld, Alejandro Russo · Lecture notes in computer science · 117
A library for light-weight information-flow security in haskell
2008 · Alejandro Russo, Koen Claessen, et al. · International Symposium on Haskell · 91
HLIO: mixing static and dynamic typing for information-flow control in Haskell
2015 · Pablo Buiras, Dimitrios Vytiniotis, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 71
Addressing covert termination and timing channels in concurrent information flow systems
2012 · Deian Stefan, Alejandro Russo, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 67
Protecting Users by Confining JavaScript with COWL
2014 · Stefan, D, Yang, EZ, et al. · UCL Discovery (University College London) · 64
Tracking Information Flow in Dynamic Tree Structures
2009 · Alejandro Russo, Andrei Sabelfeld, et al. · Lecture notes in computer science · 63
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
2013 · Deian Stefan, Pablo Buiras, et al. · Lecture notes in computer science · 61
PDF
Securing Interaction between Threads and the Scheduler
2006 · A. Russo, A. Sabelfeld · IEEE Computer Security Foundations Workshop (CSFW) · 59
Disjunction Category Labels
2012 · Deian Stefan, Alejandro Russo, et al. · Lecture notes in computer science · 52
Closing Internal Timing Channels by Transformation
2007 · Alejandro Russo, John Hughes, et al. · Lecture notes in computer science · 49
Securing Timeout Instructions in Web Applications
2009 · Alejandro Russo, Andrei Sabelfeld · IEEE Computer Security Foundations Workshop (CSFW) · 44
Flexible dynamic information flow control in the presence of exceptions
2017 · DEIAN STEFAN, DAVID MAZIÈRES, et al. · Journal of Functional Programming · 42
Functional pearl: two can keep a secret, if one of them uses Haskell
2015 · Alejandro Russo · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 42
A Library for Secure Multi-threaded Information Flow in Haskell
2007 · Ta-chung Tsai, Alejandro Russo, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 42
Secure Multi-execution in Haskell
2012 · Mauro Jaskelioff, Alejandro Russo · Lecture notes in computer science · 35
On-the-fly inlining of dynamic security monitors
2011 · Jonas Magazinius, Alejandro Russo, et al. · Computers & Security · 35
Unifying Facets of Information Integrity
2010 · Arnar Birgisson, Alejandro Russo, et al. · Lecture notes in computer science · 35
Precise Enforcement of Confidentiality for Reactive Systems
2013 · Dante Zanarini, Mauro Jaskelioff, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 34
PDF
Security of multithreaded programs by compilation
2010 · Gilles Barthe, Tamara Rezk, et al. · ACM Transactions on Information and System Security · 34
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
2020 · Elisabet Lobo-Vesga, Alejandro Russo, et al. · IEEE Symposium on Security and Privacy (S&P) · 32
PDF
Security for Multithreaded Programs Under Cooperative Scheduling
2007 · Alejandro Russo, Andrei Sabelfeld · Springer eBooks · 30
Works count: 113
Citation count: 2,346
H-index: 27
I10-index: 53
Year
Topic
Type