| Language-based information-flow security A Sabelfeld, AC Myers IEEE Journal on selected areas in communications 21 (1), 5-19, 2003 | 2991 | 2003 |
| Probabilistic noninterference for multi-threaded programs A Sabelfeld, D Sands Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000 | 424 | 2000 |
| Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009 | 388 | 2009 |
| Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005 | 359 | 2005 |
| A model for delimited information release A Sabelfeld, AC Myers International Symposium on Software Security, 174-191, 2003 | 317 | 2003 |
| Dynamic vs. static flow-sensitive security analysis A Russo, A Sabelfeld 2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010 | 305 | 2010 |
| Termination-insensitive noninterference leaks more than just a bit A Askarov, S Hunt, A Sabelfeld, D Sands European symposium on research in computer security, 333-348, 2008 | 272 | 2008 |
| JSFlow: Tracking information flow in JavaScript and its APIs D Hedin, A Birgisson, L Bello, A Sabelfeld Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1663-1671, 2014 | 260 | 2014 |
| A per model of secure information flow in sequential programs A Sabelfeld, D Sands Higher-order and symbolic computation 14 (1), 59-91, 2001 | 251 | 2001 |
| Information-flow security for a core of JavaScript D Hedin, A Sabelfeld 2012 IEEE 25th Computer Security Foundations Symposium, 3-18, 2012 | 221 | 2012 |
| Gradual release: Unifying declassification, encryption and key release policies A Askarov, A Sabelfeld 2007 IEEE Symposium on Security and Privacy (SP'07), 207-221, 2007 | 213 | 2007 |
| A perspective on information-flow control T Nipkow Software Safety and Security: Tools for Analysis and Verification, 319, 2012 | 210 | 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 | 184 | 2009 |
| Tight enforcement of information-release policies for dynamic languages A Askarov, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009 | 182 | 2009 |
| Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004 | 172 | 2004 |
| If this then what? Controlling flows in IoT apps I Bastys, M Balliu, A Sabelfeld Proceedings of the 2018 ACM SIGSAC conference on computer and communications …, 2018 | 166 | 2018 |
| Enforcing robust declassification and qualified robustness AC Myers, A Sabelfeld, S Zdancewic Journal of Computer Security 14 (2), 157-196, 2006 | 152 | 2006 |
| PrivatePool: Privacy-preserving ridesharing P Hallgren, C Orlandi, A Sabelfeld 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 276-291, 2017 | 132 | 2017 |
| A per model of secure information flow in sequential programs A Sabelfeld, D Sands European Symposium on Programming, 40-58, 1999 | 131 | 1999 |
| Static confidentiality enforcement for distributed programs A Sabelfeld, H Mantel International Static Analysis Symposium, 376-394, 2002 | 112 | 2002 |
