Language-based information-flow security A Sabelfeld, AC Myers IEEE Journal on selected areas in communications 21 (1), 5-19, 2003 | 2792 | 2003 |
Probabilistic noninterference for multi-threaded programs A Sabelfeld, D Sands Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000 | 409 | 2000 |
Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009 | 373 | 2009 |
Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005 | 342 | 2005 |
A model for delimited information release A Sabelfeld, AC Myers Software Security-Theories and Systems: Second Mext-NSF-JSPS International …, 2004 | 301 | 2004 |
Dynamic vs. static flow-sensitive security analysis A Russo, A Sabelfeld 2010 23rd IEEE Computer Security Foundations Symposium, 186-199, 2010 | 297 | 2010 |
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004 | 289* | 2004 |
Termination-insensitive noninterference leaks more than just a bit A Askarov, S Hunt, A Sabelfeld, D Sands Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008 | 256 | 2008 |
A per model of secure information flow in sequential programs A Sabelfeld, D Sands Higher-order and symbolic computation 14, 59-91, 2001 | 246 | 2001 |
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 | 238 | 2014 |
Information-flow security for a core of JavaScript D Hedin, A Sabelfeld 2012 IEEE 25th Computer Security Foundations Symposium, 3-18, 2012 | 220 | 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 | 204 | 2007 |
A perspective on information-flow control D Hedin, A Sabelfeld Software safety and security, 319-347, 2012 | 176 | 2012 |
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 |
Tight enforcement of information-release policies for dynamic languages A Askarov, A Sabelfeld 2009 22nd IEEE Computer Security Foundations Symposium, 43-59, 2009 | 174 | 2009 |
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 | 143 | 2018 |
A per model of secure information flow in sequential programs A Sabelfeld, D Sands European Symposium on Programming, 40-58, 1999 | 127 | 1999 |
Static confidentiality enforcement for distributed programs A Sabelfeld, H Mantel International Static Analysis Symposium, 376-394, 2002 | 107 | 2002 |
PrivatePool: Privacy-preserving ridesharing P Hallgren, C Orlandi, A Sabelfeld 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 276-291, 2017 | 101 | 2017 |
Tracking information flow in dynamic tree structures A Russo, A Sabelfeld, A Chudnov Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 100 | 2009 |