Follow
Alejandro Russo
Alejandro Russo
Professor, Computer Science and Engineering Department, Chalmers / Göteborg University
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
2982010
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
2052011
Hails: Protecting data privacy in untrusted web applications
DB Giffin, A Levy, D Stefan, D Terei, D Mazieres, JC Mitchell, A Russo
10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012
1952012
From dynamic to static and back: Riding the roller coaster of information-flow control research
A Sabelfeld, A Russo
Perspectives of Systems Informatics: 7th International Andrei Ershov …, 2010
1772010
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
1382011
A library for light-weight information-flow security in Haskell
A Russo, K Claessen, J Hughes
ACM Sigplan Notices 44 (2), 13-24, 2008
1262008
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
1162014
Tracking information flow in dynamic tree structures
A Russo, A Sabelfeld, A Chudnov
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1012009
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
982015
On-the-fly inlining of dynamic security monitors
J Magazinius, A Russo, A Sabelfeld
Computers & Security 31 (7), 827-843, 2012
872012
Securing interaction between threads and the scheduler
A Russo, A Sabelfeld
19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006
862006
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
852013
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
852012
Disjunction category labels
D Stefan, A Russo, D Mazières, JC Mitchell
Information Security Technology for Applications: 16th Nordic Conference on …, 2012
852012
Security of multithreaded programs by compilation
G Barthe, T Rezk, A Russo, A Sabelfeld
Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007
652007
Closing internal timing channels by transformation
A Russo, J Hughes, D Naumann, A Sabelfeld
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
602007
Functional pearl: two can keep a secret, if one of them uses Haskell
A Russo
ACM SIGPLAN International Conference in Functional Programming (ICFP) 50 (9 …, 2015
572015
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
552007
Securing timeout instructions in web applications
A Russo, A Sabelfeld
2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009
532009
Secure multi-execution in Haskell
M Jaskelioff, A Russo
Perspectives of Systems Informatics, 170-178, 2012
522012
The system can't perform the operation now. Try again later.
Articles 1–20