Del Tedesco, Filippo; Hunt, Sebastian; Sands, David: A Semantic Hierarchy for Erasure Policies. Lecture Notes in Computer Science, Seventh International Conference on Information Systems Security, December 2011, Kolkata (India), 7093 pp. 352-369 . ISBN/ISSN: 978-364225559-5

Hunt, S.; Sands, David: From Exponential to Polynomial-time Security Typing via Principal Types. Lecture Notes in Computer Science. 20th European Symposium on Programming, ESOP 2011, 6602 pp. 297-316. ISBN/ISSN: 978-364219717-8

Mantel, A.; Sands, David; Sudbrock, H.: Assumptions and guarantees for compositional noninterference. 24th Computer Security Foundations Symposium, CSF 2011; Cernay-la-Ville; 27 June 2011 through 29 June 2011, pp. 218-232 . ISBN/ISSN: 978-076954365-9

Broberg, N.; Sands, David: Paralocks - Role-Based Information Flow Control and Beyond. ACM Sigplan Notices, 45 (1) pp. 431-444.

Del Tedesco, Filippo; Russo, Alejandro; Sands, David: Implementing Erasure Policies Using Taint Analysis. Nordic Conference in Secure IT Systems (NORDSEC 2010), 2010, Espoo, Finland,

Magazinius, Jonas; Phung, Phu H.; Sands, David: Safe Wrappers and Sane Policies for Self Protecting JavaScript. The 15th Nordic Conference in Secure IT Systems (Nordsec'10), LNCS,

Svenningsson, Josef; Sands, David: Specification and Verification of Side Channel Declassification. Lecture Notes in Computer Science. 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, Eindhoven, 5-6 November 2009, 5983 pp. 111-125. ISBN/ISSN: 978-364212458-7

Broberg, Niklas; Sands, David: Flow-Sensitive Semantics for Dynamic Information Flow Policies. ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009), ISBN/ISSN: 9781605586458

Del Tedesco, Filippo; Sands, David: A user model for information erasure.. Proceedings 7th International Workshop on Security Issues in Concurrency, Bologna (Italy), 5th September 2009, EPTCS 7

Demange, D.; Sands, David: All Secrets Great and Small. Programming Languages and Systems. 18th European Symposium on Programming, ESOP 2009, (5502) pp. 207-221.

Phung, Phu H.; Sands, David; Chudnov, Andrey: Lightweight Self-Protecting JavaScript. Proceedings of ACM Symposium on Information, Computer and Communications Security (ASIACCS 2009), pp. 47-60. ISBN/ISSN: 978-1-60558-394-5

Sabelfeld, Andrei; Sands, David: Declassification: Dimensions and Principles. Journal of Computer Security, 17 (5) pp. 517-548.

Svenningsson, Josef; Sands, David: Specification and Verification of Side Channel Declassification. Göteborg : Chalmers University of Technology.

Askarov, Aslan; Hunt, Sebastian; Sabelfeld, Andrei; Sands, David: Termination-Insensitive Noninterference Leaks More Than Just a Bit.. In Proceedings of the 13th European Symposium on Research in Computer Security, Malaga, Spain, October 2008., 5283 pp. 333-348.

Hunt, Sebastian; Sands, David: Just Forget it - The Semantics and Enforcement of Information Erasure. Programming Languages and Systems. 17th European Symposium on Programming, ESOP 2008. Springer LNCS., 4960 pp. 239--253.

Phung, Phu H.; Sands, David; Chudnov, Andrey: Lightweight Self-Protecting JavaScript. Göteborg : Chalmers University of Technology. ISBN/ISSN: 1652-926X

Phung, Phu H.; Sands, David: Security Policy Enforcement for the OSGi Framework Using Aspect-Oriented Programming. Proceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC 2008), 28 July - 01 August 2008, Turku, Finland. IEEE Computer Society 2008, pp. 1076-1082.

Axelsson, Stefan; Sands, David: Understanding Intrusion Detection through Visualization. ISBN/ISSN: 0-387-27634-3

Broberg, N.; Sands, David: Flow locks: Towards a core calculus for dynamic flow policies. Lecture Notes in Computer Science, 3924 pp. 180-196. ISBN/ISSN: 0302-9743 3-540-33095-X

Broberg, Niklas; Sands, David: Towards a core calculus for dynamic flow policies. Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006, 3924 (LNCS)

The 4th ACM Workshop onProceedings of the 4th ACM Workshop on Formal Methods in Security Engineering. Andrew Gordon, David Sands [editor(s)]. ISBN/ISSN: 1-59593-550-9

Hedin, Daniel; Sands, David: Noninterference in the presence of non-opaque pointers. Proceedings of the 19th IEEE Computer Security Foundations Workshop, pp. 255-269.

Hunt, Sebastian; Sands, David: On flow-sensitive security types. POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium on Principles of Programming Languages,

Darvas, Adam; Hähnle, Reiner; Sands, David: A Theorem Proving Approach to Analysis of Secure Information Flow. Security in Pervasive Computing: Second International Conference, SPC 2005, 3450 pp. 193-208. ISBN/ISSN: 3-540-25521-4

Hedin, Daniel; Sands, David: Timing Aware Information Flow Security for a JavaCard-like Bytecode. Electronic Notes in Theoretical Computer Science, Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005), 141 (1) pp. 163-182.

Sabelfeld, Andrei; Sands, David: Dimensions and Principles of Declassification. Proceedings of the 18th IEEE Computer Security Foundations Workshop,

Mantel, Heiko; Sands, David: Controlled Declassification based on Intransitive Noninterference.

Moran, Andrew; Sands, David; Carlsson, M.: Erratic fudgets: a semantic theory for an embedded coordination language. Science of Computer Programming, 46 (1-2) pp. 99-135.

Agat, J.; Sands, David: On Confidentiality and Algorithms. Proceedings of the 2001 IEEE Symposium on Security and Privacy (S&P-01) / Titsworth, Francis M., pp. 64-77.

Gustavsson, Jörgen; Sands, David: Possibilities and Limitations of Call-by-Need Space Improvement. Proceeding of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), pp. 265-276.

Sabelfeld, Andrei; Sands, David: A Per Model of Secure Information Flow in Sequential Programs. Higher-Order and Symbolic Computation, 14 (1) pp. 59-91.

Sabelfeld, Andrei; Sands, David: Probabilistic Noninterference for Multi-threaded Programs. Proceedings of the 13th IEEE Computer Security Foundations Workshop, pp. 200-214. Cambridge, England : IEEE Computer Society Press.

Mantel, Heiko; Sands, David: Controlled Declassification based on Intransitive Noninterference. Proc. Asian Symp. on Programming Languages and Systems, 3302 pp. 129--145.