| Dynamic vs. static flow-sensitive security analysis A Russo, A Sabelfeld 2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010 | 275 | 2010 |
| 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 | 187 | 2011 |
| 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 | 181 | 2012 |
| 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 | 163 | 2009 |
| A library for light-weight information-flow security in Haskell A Russo, K Claessen, J Hughes ACM Sigplan Notices 44 (2), 13-24, 2008 | 114 | 2008 |
| 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 | 109 | 2011 |
| 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 | 107 | 2014 |
| Tracking information flow in dynamic tree structures A Russo, A Sabelfeld, A Chudnov European Symposium on Research in Computer Security, 86-103, 2009 | 96 | 2009 |
| 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 | 81 | 2015 |
| 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 | 80 | 2012 |
| Securing interaction between threads and the scheduler A Russo, A Sabelfeld 19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006 | 78 | 2006 |
| 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 | 77 | 2013 |
| Disjunction category labels D Stefan, A Russo, D Mazières, JC Mitchell Nordic conference on secure IT systems, 223-239, 2011 | 73 | 2011 |
| Security of multithreaded programs by compilation G Barthe, T Rezk, A Russo, A Sabelfeld European Symposium on Research in Computer Security, 2-18, 2007 | 66 | 2007 |
| 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 | 58 | 2017 |
| Closing internal timing channels by transformation A Russo, J Hughes, D Naumann, A Sabelfeld Annual Asian Computing Science Conference, 120-135, 2006 | 57 | 2006 |
| Securing timeout instructions in web applications A Russo, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009 | 53 | 2009 |
| 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 | 52 | 2007 |
| Secure multi-execution in Haskell M Jaskelioff, A Russo Perspectives of Systems Informatics, 170-178, 2012 | 51 | 2012 |
| On-the-fly inlining of dynamic security monitors J Magazinius, A Russo, A Sabelfeld IFIP International Information Security Conference, 173-186, 2010 | 48 | 2010 |
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
