| Dynamic vs. static flow-sensitive security analysis A Russo, A Sabelfeld 2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010 | 297 | 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 | 204 | 2011 |
| Hails: Protecting data privacy in untrusted web applications D Giffin, A Levy, D Stefan, D Terei, D Mazieres, J Mitchell, A Russo Journal of Computer Security 25 (4-5), 427-461, 2017 | 200 | 2017 |
| 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 | 176 | 2010 |
| 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 | 133 | 2011 |
| A library for light-weight information-flow security in Haskell A Russo, K Claessen, J Hughes ACM Sigplan Notices 44 (2), 13-24, 2008 | 128 | 2008 |
| 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 | 114 | 2014 |
| Tracking information flow in dynamic tree structures A Russo, A Sabelfeld, A Chudnov Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 101 | 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 | 95 | 2015 |
| On-the-fly inlining of dynamic security monitors J Magazinius, A Russo, A Sabelfeld Computers & Security 31 (7), 827-843, 2012 | 88 | 2012 |
| Securing interaction between threads and the scheduler A Russo, A Sabelfeld 19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-189, 2006 | 86 | 2006 |
| Disjunction category labels D Stefan, A Russo, D Mazières, JC Mitchell Information Security Technology for Applications: 16th Nordic Conference on …, 2012 | 84 | 2012 |
| 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 | 83 | 2012 |
| 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 | 82 | 2013 |
| 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 | 66 | 2007 |
| 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 | 60 | 2007 |
| 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 | 56 | 2015 |
| 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 | 55 | 2007 |
| Securing timeout instructions in web applications A Russo, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 92-106, 2009 | 53 | 2009 |
| Secure multi-execution in Haskell M Jaskelioff, A Russo Perspectives of Systems Informatics, 170-178, 2012 | 52 | 2012 |
Deian StefanUC San Diego在 eng.ucsd.edu 的电子邮件经过验证
