| Language-based information-flow security A Sabelfeld, AC Myers IEEE Journal on selected areas in communications 21 (1), 5-19, 2003 | 2361 | 2003 |
| Computer security D Gollmann Wiley Interdisciplinary Reviews: Computational Statistics 2 (5), 544-554, 2010 | 1576 | 2010 |
| Probabilistic noninterference for multi-threaded programs A Sabelfeld, D Sands Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000 | 367 | 2000 |
| Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005 | 301 | 2005 |
| Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009 | 291 | 2009 |
| A model for delimited information release A Sabelfeld, AC Myers International Symposium on Software Security, 174-191, 2003 | 253 | 2003 |
| Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004 | 248* | 2004 |
| Dynamic vs. static flow-sensitive security analysis A Russo, A Sabelfeld 2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010 | 234 | 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 | 213 | 2008 |
| A per model of secure information flow in sequential programs A Sabelfeld, D Sands Higher-order and symbolic computation 14 (1), 59-91, 2001 | 205 | 2001 |
| Information-flow security for a core of JavaScript D Hedin, A Sabelfeld 2012 IEEE 25th Computer Security Foundations Symposium, 3-18, 2012 | 173 | 2012 |
| 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 | 161 | 2014 |
| 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 | 158 | 2007 |
| Tight enforcement of information-release policies for dynamic languages A Askarov, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009 | 144 | 2009 |
| 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 | 144 | 2009 |
| A per model of secure information flow in sequential programs A Sabelfeld, D Sands European Symposium on Programming, 40-58, 1999 | 123 | 1999 |
| A Perspective on Information-Flow Control. D Hedin, A Sabelfeld Software safety and security 33, 319-347, 2012 | 102 | 2012 |
| Static confidentiality enforcement for distributed programs A Sabelfeld, H Mantel International Static Analysis Symposium, 376-394, 2002 | 95 | 2002 |
| Tracking information flow in dynamic tree structures A Russo, A Sabelfeld, A Chudnov European Symposium on Research in Computer Security, 86-103, 2009 | 89 | 2009 |
| The impact of synchronisation on secure information flow in concurrent programs A Sabelfeld International Andrei Ershov Memorial Conference on Perspectives of System …, 2001 | 80 | 2001 |
