| 2022 | ICSE | PROPR: Property-Based Automatic Program Repair. | Matthas Pll Gissurarson, Leonhard Applis, Annibale Panichella, Arie van Deursen, David Sands |
| 2018 | ICSE | Runtime verification of hyperproperties for deterministic programs. | Srinivas Pinisetty, Gerardo Schneider, David Sands |
| 2017 | SEC | Data Minimisation: A Language-Based Approach. | Thibaud Antignac, David Sands, Gerardo Schneider |
| 2016 | PST | Sampling and partitioning for differential privacy. | Hamid Ebadi, Thibaud Antignac, David Sands |
| 2015 | POPL | Differential Privacy: Now it's Getting Personal. | Hamid Ebadi, David Sands, Gerardo Schneider |
| 2014 | ECOOP | Paragon: Programming with Information Flow Control (Demo). | Niklas Broberg, Bart van Delft, David Sands |
| 2013 | APLAS | Paragon for Practical Programming with Information-Flow Control. | Niklas Broberg, Bart van Delft, David Sands |
| 2013 | PLDI | Fault-tolerant non-interference: invited talk abstract. | David Sands |
| 2011 | ESOP | From Exponential to Polynomial-Time Security Typing via Principal Types. | Sebastian Hunt, David Sands |
| 2011 | ICISS | A Semantic Hierarchy for Erasure Policies. | Filippo Del Tedesco, Sebastian Hunt, David Sands |
| 2010 | POPL | Paralocks: role-based information flow control and beyond. | Niklas Broberg, David Sands |
| 2009 | CCS | Lightweight self-protecting JavaScript. | Phu H. Phung, David Sands, Andrey Chudnov |
| 2009 | ESOP | All Secrets Great and Small. | Delphine Demange, David Sands |
| 2009 | PLDI | Flow-sensitive semantics for dynamic information flow policies. | Niklas Broberg, David Sands |
| 2008 | COMPSAC | Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. | Phu H. Phung, David Sands |
| 2008 | ESOP | Just Forget It - The Semantics and Enforcement of Information Erasure. | Sebastian Hunt, David Sands |
| 2008 | ESORICS | Termination-Insensitive Noninterference Leaks More Than Just a Bit. | Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands |
| 2006 | ESOP | Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. | Niklas Broberg, David Sands |
| 2006 | POPL | On flow-sensitive security types. | Sebastian Hunt, David Sands |
| 2004 | APLAS | Controlled Declassification Based on Intransitive Noninterference. | Heiko Mantel, David Sands |
| 2001 | ICFP | Possibilities and Limitations of Call-by-Need Space Improvement. | Jrgen Gustavsson, David Sands |
| 2001 | SP | On Confidentiality and Algorithms. | Johan Agat, David Sands |
| 1999 | Coordination | Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. | Andrew Moran, David Sands, Magnus Carlsson |
| 1999 | ESOP | A Per Model of Secure Information Flow in Sequential Programs. | Andrei Sabelfeld, David Sands |
| 1999 | POPL | Improvement in a Lazy Context: An Operational Theory for Call-by-Need. | Andrew Moran, David Sands |
| 1997 | POPL | From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. | David Sands |
| 1995 | PEPM | Higher Order Expression Procedures. | David Sands |
| 1995 | POPL | Total Correctness by Local Improvement in Program Transformation. | David Sands |
| 1992 | SAS | Transformation of Gamma Programs. | Chris Hankin, Daniel Le Mtayer, David Sands |
| 1991 | PEPM | Binding Time Analysis: A New PERspective. | Sebastian Hunt, David Sands |
| 1990 | ESOP | Complexity Analysis for a Lazy Higher-Order Language. | David Sands |