David Sands

Full Professor at Computer Science and Engineering (Chalmers)

Source: chalmers.se

Contact Details ORCID

Publications (54)
Projects (4)

Showing 54 publications

2023

Reconciling Shannon and Scott with a Lattice of Computable Information

Sebastian Hunt, David Sands, Sandro Stucki

Proceedings of the ACM on Programming Languages. Vol. 7, p. 1987-2016

Journal article

2022

PropR: Property-Based Automatic Program Repair

Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella et al

Proceedings - International Conference on Software Engineering

Paper in proceeding

2021

A Quantale of Information

Leo Sebastian Hunt, David Sands

Proceedings - IEEE Computer Security Foundations Symposium, p. 94-108

Paper in proceeding

Show project

2020

New Program Abstractions for Privacy

Sebastian Hunt, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 256-267

Book chapter

2019

Preface

Flemming Nielson, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11426 LNCS

Other text in scientific journal

2018

Runtime verification of hyperproperties for deterministic programs

Srinivas Pinisetty, Gerardo Schneider, David Sands

Proceedings - International Conference on Software Engineering, p. 20-29

Paper in proceeding

2017

Paragon - Practical programming with information flow control

Niklas Broberg, Bart van Delft, David Sands

Journal of Computer Security. Vol. 25 (4-5), p. 323-365

Journal article

2017

Data minimisation: A language-based approach

Thibaud Antignac, David Sands, Gerardo Schneider

IFIP Advances in Information and Communication Technology. Vol. 502, p. 442-456

Paper in proceeding

2016

Sampling and Partitioning for Differential Privacy

Hamid Ebadi Tavallaei, David Sands, Thibaud Antignac

Privacy Security & Trust Conference 2016, p. 664-673

Paper in proceeding

2016

Fault-resilient non-interference

Filippo Del Tedesco, David Sands, Alejandro Russo

Proceedings - IEEE Computer Security Foundations Symposium, p. 401-416

Paper in proceeding

2016

Featherweight PINQ

Hamid Ebadi Tavallaei, David Sands

Journal of Privacy and Confidentiality. Vol. 7 (2), p. 159-164

Journal article

2015

Very static enforcement of dynamic policies

Bart van Delft, Sebastian Hunt, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9036, p. 32-52

Paper in proceeding

2015

Differential Privacy: Now it’s Getting Personal

Hamid Ebadi Tavallaei, David Sands, Gerardo Schneider

ACM SIGPLAN Notices. Vol. 50 (1), p. 69-81

Journal article

2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands

Proceedings. The Computer Security Foundations Workshop III, p. 122-136

Paper in proceeding

2014

Paragon: Programming with information flow control (demo)

Niklas Broberg, Bart van Delft, David Sands

9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014, p. 79-80

Paper in proceeding

2014

Fault-tolerant Non-interference

Filippo Del Tedesco, Alejandro Russo, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8364 LNCS, p. 60-76

Paper in proceeding

2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8301, p. 217-232

Paper in proceeding

2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7783, p. 305-320

Paper in proceeding

2012

Implementing Erasure Policies Using Taint Analysis

Filippo Del Tedesco, Alejandro Russo, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7127, p. 193-209

Paper in proceeding

2012

Safe Wrappers and Sane Policies for Self Protecting JavaScript

Jonas Magazinius, Phu Phung, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7127, p. 239-255

Paper in proceeding

2011

A Semantic Hierarchy for Erasure Policies

Filippo Del Tedesco, Sebastian Hunt, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7093, p. 352-369

Paper in proceeding

2011

From Exponential to Polynomial-time Security Typing via Principal Types

Sebastian Hunt, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6602, p. 297-316

Paper in proceeding

2011

Assumptions and guarantees for compositional noninterference

A. Mantel, David Sands, H. Sudbrock

Proceedings - IEEE Computer Security Foundations Symposium, p. 218-232

Paper in proceeding

2010

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5983, p. 111-125

Paper in proceeding

2010

Paralocks: Role-based information flow control and beyond

Niklas Broberg, David Sands

37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10, Madrid, Spain, 17-23 January 2010, p. 431-444

Paper in proceeding

2010

Paralocks - Role-Based Information Flow Control and Beyond

Niklas Broberg, David Sands

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 45 (1), p. 431-444

Journal article

2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands

Report

2009

Lightweight Self-Protecting JavaScript

Phu Phung, David Sands, Andrey Chudnov

Proceedings of ACM Symposium on Information, Computer and Communications Security (ASIACCS 2009), p. 47-60

Paper in proceeding

2009

Improving the semantics of imperfect security

Niklas Broberg, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5511 LNCS, p. 88-91

Paper in proceeding

2009

All Secrets Great and Small

D. Demange, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5502, p. 207-221

Paper in proceeding

2009

Declassification: Dimensions and Principles

Andrei Sabelfeld, David Sands

Journal of Computer Security. Vol. 17 (5), p. 517-548

Journal article

2009

A user model for information erasure.

Filippo Del Tedesco, David Sands

Proceedings 7th International Workshop on Security Issues in Concurrency, Bologna (Italy), 5th September 2009. Vol. EPTCS 7

Paper in proceeding

2009

Flow-Sensitive Semantics for Dynamic Information Flow Policies

Niklas Broberg, David Sands

ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (PLAS 2009), p. 101-112

Paper in proceeding

2008

Lightweight Self-Protecting JavaScript

Phu Phung, David Sands, Andrey Chudnov

Report

2008

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5283, p. 333-348

Paper in proceeding

2008

Security Policy Enforcement for the OSGi Framework Using Aspect-Oriented Programming

Phu Phung, David Sands

Proceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC 2008), 28 July - 01 August 2008, Turku, Finland. IEEE Computer Society 2008, p. 1076-1082

Paper in proceeding

2008

Just Forget it - The Semantics and Enforcement of Information Erasure

Sebastian Hunt, David Sands

Programming Languages and Systems. 17th European Symposium on Programming, ESOP 2008. Springer LNCS.. Vol. 4960, p. 239--253-

Paper in proceeding

2006

On flow-sensitive security types

Sebastian Hunt, David Sands

POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium on Principles of Programming Languages

Paper in proceeding

2006

Flow locks: Towards a core calculus for dynamic flow policies

N. Broberg, David Sands

Lecture Notes in Computer Science. Vol. 3924, p. 180-196

Paper in proceeding

2006

Understanding Intrusion Detection through Visualization

Stefan Axelsson, David Sands

Book

2006

Towards a core calculus for dynamic flow policies

Niklas Broberg, David Sands

Programming Languages and Systems. 15th European Symposium on Programming, ESOP 2006. Vol. 3924 (LNCS)

Paper in proceeding

2006

The 4th ACM Workshop on Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering

Andrew Gordon, David Sands

Edited book

2006

Noninterference in the presence of non-opaque pointers

Daniel Hedin, David Sands

Proceedings of the 19th IEEE Computer Security Foundations Workshop, p. 255-269

Paper in proceeding

2005

Dimensions and Principles of Declassification

Andrei Sabelfeld, David Sands

Proceedings of the 18th IEEE Computer Security Foundations Workshop

Paper in proceeding

2005

A Theorem Proving Approach to Analysis of Secure Information Flow

Adam Darvas, Reiner Hähnle, David Sands

Security in Pervasive Computing: Second International Conference, SPC 2005. Vol. 3450, p. 193-208

Paper in proceeding

2005

Timing Aware Information Flow Security for a JavaCard-like Bytecode

Daniel Hedin, David Sands

Electronic Notes in Theoretical Computer Science. Vol. 141 (1), p. 163-182

Paper in proceeding

2004

Controlled Declassification based on Intransitive Noninterference

Heiko Mantel, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3302, p. 129-145

Paper in proceeding

2004

Controlled Declassification based on Intransitive Noninterference

Heiko Mantel, David Sands

Report

2003

Erratic fudgets: a semantic theory for an embedded coordination language

Andrew Moran, David Sands, M. Carlsson

Science of Computer Programming. Vol. 46 (1-2), p. 99-135

Journal article

2002

Lambda Calculi and Linear Speedups

David Sands, Jörgen Gustavsson, Andrew Keith Moran

The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Book chapter

2001

Possibilities and Limitations of Call-by-Need Space Improvement

Jörgen Gustavsson, David Sands

Proceeding of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), p. 265-276

Paper in proceeding

2001

On Confidentiality and Algorithms

J. Agat, David Sands

Proceedings of the 2001 IEEE Symposium on Security and Privacy (S&P-01) / Titsworth, Francis M., p. 64-77

Paper in proceeding

2001

A Per Model of Secure Information Flow in Sequential Programs

Andrei Sabelfeld, David Sands

Higher-Order and Symbolic Computation. Vol. 14 (1), p. 59-91

Journal article

2000

Probabilistic Noninterference for Multi-threaded Programs

Andrei Sabelfeld, David Sands

Proceedings of the 13th IEEE Computer Security Foundations Workshop, p. 200-214

Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 4 research projects

2019–2022

Perspex: Flexible and Transparent Local Differential Privacy

David Sands Information Security

Swedish Research Council (VR)

2 publications exist

2018–2023

WebSec: Securing Web-driven Systems

Andrei Sabelfeld Information Security

David Sands Information Security

Alejandro Russo Information Security

Swedish Foundation for Strategic Research (SSF)

28 publications exist

2015–2018

AppFlow: Putting Information Flow Control to Work

David Sands Software Technology (Chalmers)

Andrei Sabelfeld Information Security

Alejandro Russo Information Security

Niklas Broberg Information Security

Swedish Research Council (VR)

1 publication exists

2012–2016

Data-Driven Secure Business Intelligence (DataBIN)

David Sands Software Technology (Chalmers)

Devdatt Dubhashi Computing Science (Chalmers)

Peter Damaschke Computing Science (Chalmers)

Gerardo Schneider Software Technology (Chalmers)

Olof Mogren Computing Science (Chalmers)

Raul Pardo Jimenez Software Technology (Chalmers)

Hamid Ebadi Tavallaei Software Technology (Chalmers)

Fredrik Johansson Computing Science (Chalmers)

Andrei Sabelfeld Software Technology (Chalmers)

Swedish Foundation for Strategic Research (SSF)

There might be more projects where David Sands participates, but you have to be logged in as a Chalmers employee to see them.