Skip Ribbon Commands

Skip to main content

Start

Staff

David Sands

Professor, Computing Science division, and vice head of Department, Computer Science and Engineering.

dave@chalmers.se +46317721059 Find me http://orcid.org/0000-0001-6221-0503

Publications
Collaboration and projects

Latest publications

2022
PropR: Property-Based Automatic Program Repair

Author: Matthías Páll Gissurarson; Leonhard Applis; Annibale Panichella; Arie van Deursen; David Sands

Published: 2022

Published in: Proceedings of the 44th International Conference on Software Engineering

Publication type: Paper in proceeding
2021
A Quantale of Information

Author: Leo Sebastian Hunt; David Sands

Published: 2021

Published in: 2021 IEEE 34th Computer Security Foundations Symposium (CSF)

Publication type: Paper in proceeding
2020
New Program Abstractions for Privacy

Author: Sebastian Hunt; David Sands

Published: 2020

Published in: From Lambda Calculus to Cybersecurity Through Program Analysis

Publication type: Book chapter
2019
Preface

Author: Flemming Nielson; David Sands

Published: 2019

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Other text in scientific journal
2018
Runtime verification of hyperproperties for deterministic programs

Author: Srinivas Pinisetty; Gerardo Schneider; David Sands

Published: 2018

Published in: Proceedings - International Conference on Software Engineering

Publication type: Paper in proceeding
2017
Paragon - Practical programming with information flow control

Author: Niklas Broberg; Bart van Delft; David Sands

Published: 2017

Published in: Journal of Computer Security

Publication type: Journal article
Data minimisation: A language-based approach

Author: Thibaud Antignac; David Sands; Gerardo Schneider

Published: 2017

Published in: IFIP Advances in Information and Communication Technology

Publication type: Paper in proceeding
2016
Featherweight PINQ

Author: Hamid Ebadi Tavallaei; David Sands

Published: 2016

Published in: Journal of Privacy and Confidentiality

Publication type: Journal article
Sampling and Partitioning for Differential Privacy

Author: Hamid Ebadi Tavallaei; David Sands; Thibaud Antignac

Published: 2016

Published in: Privacy Security & Trust Conference 2016

Publication type: Paper in proceeding
Fault-resilient non-interference

Author: Filippo Del Tedesco; David Sands; Alejandro Russo

Published: 2016

Published in: 29th IEEE Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, 27 June - 1 July 2016

Publication type: Paper in proceeding
2015
Differential Privacy: Now it’s Getting Personal

Author: Hamid Ebadi Tavallaei; David Sands; Gerardo Schneider

Published: 2015

Published in: Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Publication type: Paper in proceeding
The Anatomy and Facets of Dynamic Policies

Author: Niklas Broberg; Bart van Delft; David Sands

Published: 2015

Published in: 28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy

Publication type: Paper in proceeding
Very static enforcement of dynamic policies

Author: Bart van Delft; Sebastian Hunt; David Sands

Published: 2015

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2014
Fault-tolerant Non-interference

Author: Filippo Del Tedesco; Alejandro Russo; David Sands

Published: 2014

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Paragon: Programming with information flow control (demo)

Author: Niklas Broberg; Bart van Delft; David Sands

Published: 2014

Published in: 9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014

Publication type: Paper in proceeding
2013
A Datalog Semantics for Paralocks

Author: Bart van Delft; Niklas Broberg; David Sands

Published: 2013

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Paragon for Practical Programming with Information-Flow Control

Author: Niklas Broberg; Bart van Delft; David Sands

Published: 2013

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2012
Implementing Erasure Policies Using Taint Analysis

Author: Filippo Del Tedesco; Alejandro Russo; David Sands

Published: 2012

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Safe Wrappers and Sane Policies for Self Protecting JavaScript

Author: Jonas Magazinius; Phu Phung; David Sands

Published: 2012

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
2011
From Exponential to Polynomial-time Security Typing via Principal Types

Author: Sebastian Hunt; David Sands

Published: 2011

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
A Semantic Hierarchy for Erasure Policies

Author: Filippo Del Tedesco; Sebastian Hunt; David Sands

Published: 2011

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding
Assumptions and guarantees for compositional noninterference

Author: A. Mantel; David Sands; H. Sudbrock

Published: 2011

Published in: Proceedings - IEEE Computer Security Foundations Symposium

Publication type: Paper in proceeding
2010
Paralocks - Role-Based Information Flow Control and Beyond

Author: Niklas Broberg; David Sands

Published: 2010

Published in: SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Publication type: Journal article
Paralocks: Role-based information flow control and beyond

Author: Niklas Broberg; David Sands

Published: 2010

Published in: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10, Madrid, Spain, 17-23 January 2010

Publication type: Paper in proceeding
Specification and Verification of Side Channel Declassification

Author: Josef Svenningsson; David Sands

Published: 2010

Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publication type: Paper in proceeding

Go to Chalmers publication library

Page manager Published: Fri 25 Feb 2022.