Alejandro Russo
Alejandro Russo
Professor, Computer Science and Engineering Department, Chalmers University of Technology
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
Dynamic vs. static flow-sensitive security analysis
A Russo, A Sabelfeld
2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010
2252010
Flexible dynamic information flow control in Haskell
D Stefan, A Russo, JC Mitchell, D Mazières
Proceedings of the 4th ACM symposium on Haskell, 95-106, 2011
1472011
From dynamic to static and back: Riding the roller coaster of information-flow control research
A Sabelfeld, A Russo
International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
1422009
Hails: Protecting data privacy in untrusted web applications
DB Giffin, A Levy, D Stefan, D Terei, D Mazières, JC Mitchell, A Russo
Presented as part of the 10th {USENIX} Symposium on Operating Systems Design …, 2012
1382012
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
972008
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
European Symposium on Research in Computer Security, 86-103, 2009
882009
Testing an optimising compiler by generating random lambda terms
MH Pałka, K Claessen, A Russo, J Hughes
Proceedings of the 6th International Workshop on Automation of Software Test …, 2011
872011
Protecting Users by Confining JavaScript with COWL.
D Stefan, EZ Yang, P Marchenko, A Russo, D Herman, B Karp, ...
Symposium on Operating Systems Design and Implementation (OSDI), 131-146, 2014
772014
Addressing covert termination and timing channels in concurrent information flow systems
D Stefan, A Russo, P Buiras, A Levy, JC Mitchell, D Mazieres
ACM SIGPLAN Notices 47 (9), 201-214, 2012
752012
Securing interaction between threads and the scheduler
A Russo, A Sabelfeld
19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006
712006
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
D Stefan, P Buiras, EZ Yang, A Levy, D Terei, A Russo, D Mazières
European Symposium on Research in Computer Security, 2013
662013
Security of multithreaded programs by compilation
G Barthe, T Rezk, A Russo, A Sabelfeld
European Symposium on Research in Computer Security, 2-18, 2007
592007
HLIO: Mixing static and dynamic typing for information-flow control in Haskell
P Buiras, D Vytiniotis, A Russo
ACM SIGPLAN International Conference in Functional Programming (ICFP) 50 (9 …, 2015
582015
Disjunction category labels
D Stefan, A Russo, D Mazières, JC Mitchell
Nordic conference on secure IT systems, 223-239, 2011
572011
Closing internal timing channels by transformation
A Russo, J Hughes, D Naumann, A Sabelfeld
Annual Asian Computing Science Conference, 120-135, 2006
552006
Securing timeout instructions in web applications
A Russo, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009
482009
Flexible dynamic information flow control in the presence of exceptions
D Stefan, D Mazieres, JC Mitchell, A Russo
Journal of Functional Programming (JFP) 27, 2017
472017
Secure multi-execution in Haskell
M Jaskelioff, A Russo
Perspectives of Systems Informatics, 170-178, 2012
462012
A library for secure multi-threaded information flow in Haskell
T Tsai, A Russo, J Hughes
20th IEEE Computer Security Foundations Symposium (CSF'07), 187-202, 2007
442007
On-the-fly inlining of dynamic security monitors
J Magazinius, A Russo, A Sabelfeld
IFIP International Information Security Conference, 173-186, 2010
432010
The system can't perform the operation now. Try again later.
Articles 1–20