David Sands

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 13

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Sebastian Hunt, David Sands, Sandro Stucki
Reconciling Shannon and Scott with a Lattice of Computable Information. Proc. ACM Program. Lang. 7 (POPL) (2023)
Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella, Arie van Deursen, David Sands
PROPR: Property-Based Automatic Program Repair. ICSE (2022)
Sebastian Hunt, David Sands, Sandro Stucki
Reconciling Shannon and Scott with a Lattice of Computable Information. CoRR (2022)
Sebastian Hunt, David Sands
A Quantale of Information. CSF (2021)
Sebastian Hunt, David Sands
New Program Abstractions for Privacy. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Srinivas Pinisetty, Gerardo Schneider, David Sands
Runtime verification of hyperproperties for deterministic programs. FormaliSE@ICSE (2018)
Srinivas Pinisetty, Thibaud Antignac, David Sands, Gerardo Schneider
Monitoring Data Minimisation. CoRR (2018)
Thibaud Antignac, David Sands, Gerardo Schneider
Data Minimisation: A Language-Based Approach. SEC (2017)
Niklas Broberg, Bart van Delft, David Sands
Paragon - Practical programming with information flow control. J. Comput. Secur. 25 (4-5) (2017)
Hamid Ebadi, Thibaud Antignac, David Sands
Sampling and partitioning for differential privacy. PST (2016)
Hamid Ebadi, David Sands
Featherweight PINQ. J. Priv. Confidentiality 7 (2) (2016)
Thibaud Antignac, David Sands, Gerardo Schneider
Data Minimisation: a Language-Based Approach (Long Version). CoRR (2016)
Filippo Del Tedesco, David Sands, Alejandro Russo
Fault-Resilient Non-interference. CSF (2016)
Bart van Delft, Sebastian Hunt, David Sands
Very Static Enforcement of Dynamic Policies. CoRR (2015)
Niklas Broberg, Bart van Delft, David Sands
The Anatomy and Facets of Dynamic Policies. CSF (2015)
Hamid Ebadi, David Sands
Featherweight PINQ. CoRR (2015)
Niklas Broberg, Bart van Delft, David Sands
The Anatomy and Facets of Dynamic Policies. CoRR (2015)
Hamid Ebadi, David Sands, Gerardo Schneider
Differential Privacy: Now it's Getting Personal. POPL (2015)
Bart van Delft, Sebastian Hunt, David Sands
Very Static Enforcement of Dynamic Policies. POST (2015)
Filippo Del Tedesco, Alejandro Russo, David Sands
Fault-Tolerant Non-interference. ESSoS (2014)
Filippo Del Tedesco, David Sands, Alejandro Russo
Type-Directed Compilation for Fault-Tolerant Non-Interference. CoRR (2014)
Niklas Broberg, Bart van Delft, David Sands
Paragon: Programming with Information Flow Control (Demo). PLAS@ECOOP (2014)
David Sands
Fault-tolerant non-interference: invited talk abstract. PLAS (2013)
Niklas Broberg, Bart van Delft, David Sands
Paragon for Practical Programming with Information-Flow Control. APLAS (2013)
Bart van Delft, Niklas Broberg, David Sands
A Datalog Semantics for Paralocks. STM (2012)
Heiko Mantel, David Sands, Henning Sudbrock
Assumptions and Guarantees for Compositional Noninterference. CSF (2011)
Filippo Del Tedesco, Sebastian Hunt, David Sands
A Semantic Hierarchy for Erasure Policies CoRR (2011)
Filippo Del Tedesco, Sebastian Hunt, David Sands
A Semantic Hierarchy for Erasure Policies. ICISS (2011)
Sebastian Hunt, David Sands
From Exponential to Polynomial-Time Security Typing via Principal Types. ESOP (2011)
Niklas Broberg, David Sands
Paralocks: role-based information flow control and beyond. POPL (2010)
Jonas Magazinius, Phu H. Phung, David Sands
Safe Wrappers and Sane Policies for Self Protecting JavaScript. NordSec (2010)
Filippo Del Tedesco, Alejandro Russo, David Sands
Implementing Erasure Policies Using Taint Analysis. NordSec (2010)
Niklas Broberg, David Sands
Improving the Semantics of Imperfect Security. ARSPA-WITS (2009)
Andrei Sabelfeld, David Sands
Declassification: Dimensions and principles. J. Comput. Secur. 17 (5) (2009)
Delphine Demange, David Sands
All Secrets Great and Small. ESOP (2009)
Niklas Broberg, David Sands
Flow-sensitive semantics for dynamic information flow policies. PLAS (2009)
Filippo Del Tedesco, David Sands
A User Model for Information Erasure SECCO (2009)
Josef Svenningsson, David Sands
Specification and Verification of Side Channel Declassification CoRR (2009)
Josef Svenningsson, David Sands
Specification and Verification of Side Channel Declassification. Formal Aspects in Security and Trust (2009)
Phu H. Phung, David Sands, Andrey Chudnov
Lightweight self-protecting JavaScript. AsiaCCS (2009)
Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands
Termination-Insensitive Noninterference Leaks More Than Just a Bit. ESORICS (2008)
Phu H. Phung, David Sands
Security Policy Enforcement in the OSGi Framework Using Aspect-Oriented Programming. COMPSAC (2008)
Sebastian Hunt, David Sands
Just Forget It - The Semantics and Enforcement of Information Erasure. ESOP (2008)
Niklas Broberg, David Sands
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. ESOP (2006)
Daniel Hedin, David Sands
Noninterference in the Presence of Non-Opaque Pointers. CSFW (2006)
Sebastian Hunt, David Sands
On flow-sensitive security types. POPL (2006)
Daniel Hedin, David Sands
Timing Aware Information Flow Security for a JavaCard-like Bytecode. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Ádám Darvas, Reiner Hähnle, David Sands
A Theorem Proving Approach to Analysis of Secure Information Flow. SPC (2005)
Andrei Sabelfeld, David Sands
Dimensions and Principles of Declassification. CSFW (2005)
Heiko Mantel, David Sands
Controlled Declassification Based on Intransitive Noninterference. APLAS (2004)
Andrew Moran, David Sands, Magnus Carlsson
Erratic Fudgets: a semantic theory for an embedded coordination language. Sci. Comput. Program. 46 (1-2) (2003)
David Sands, Jörgen Gustavsson, Andrew Moran
Lambda Calculi and Linear Speedups. The Essence of Computation (2002)
David Sands
Probability and Timing: Challenges for Secure Programming. PAPM-PROBMIV (2002)
Jörgen Gustavsson, David Sands
Possibilities and Limitations of Call-by-Need Space Improvement. ICFP (2001)
Andrei Sabelfeld, David Sands
A Per Model of Secure Information Flow in Sequential Programs. High. Order Symb. Comput. 14 (1) (2001)
Andrei Sabelfeld, David Sands
Probabilistic Noninterference for Multi-Threaded Programs. CSFW (2000)
Andrew Moran, David Sands
Improvement in a Lazy Context: An Operational Theory for Call-by-Need. POPL (1999)
Koen Claessen, David Sands
Observable Sharing for Functional Circuit Description. ASIAN (1999)
Andrew Moran, David Sands, Magnus Carlsson
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language. COORDINATION (1999)
Jörgen Gustavsson, David Sands
A Foundation for Space-Safe Transformations of Call-by-Need Programs. Electron. Notes Theor. Comput. Sci. 26 (1999)
Andrei Sabelfeld, David Sands
A Per Model of Secure Information Flow in Sequential Programs. ESOP (1999)
Chris Hankin, Daniel Le Métayer, David Sands
Refining Multiset Tranformers. Theor. Comput. Sci. 192 (2) (1998)
David Sands
From SOS Rules to Proof Principles: An Operational Metatheory for Functional Languages. POPL (1997)
David Sands
Proving the Correctness of Recursion-Based Automatic Program Transformations. Theor. Comput. Sci. 167 (1&2) (1996)
David Sands
A Naïve Time Analysis and its Theory of Cost Equivalence. J. Log. Comput. 5 (4) (1995)
Fritz Henglein, David Sands
A Semantic Model of Binding Times for Safe Partial Evaluation PLILP (1995)
David Sands
Higher Order Expression Procedures. PEPM (1995)
David Sands
Proving the Correctness of Recursion-Based Automatic Program Transformations. TAPSOFT (1995)
David Sands
Total Correctness by Local Improvement in Program Transformation. POPL (1995)
David Sands
A Compositional Semantics of Combining Forms for Gramma Programs. Formal Methods in Programming and Their Applications (1993)
Chris Hankin, Daniel Le Métayer, David Sands
A Parallel Programming Style and Its Algebra of Programs. PARLE (1993)
Chris Hankin, Daniel Le Métayer, David Sands
A Calculus of Gamma Programs. LCPC (1992)
Chris Hankin, Daniel Le Métayer, David Sands
Transformation of Gamma Programs. WSA (1992)
Sebastian Hunt, David Sands
Binding Time Analysis: A New PERspective. PEPM (1991)

David Sands.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Sands