Skip Ribbon Commands

Skip to main content

Start

Staff

David Sands

Professor and Head of Division, Information Security division, Department of Computer Science and Engineering.

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

Publications
Collaboration and projects

Latest publications

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
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 proceedings
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: Journal article
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 proceedings
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 proceedings
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 proceedings
Differential Privacy: Now it's Getting Personal

Author: Hamid Ebadi Tavallaei; David Sands; Gerardo Schneider

Published: 2015

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

Publication type: Journal article
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
2009
A user model for information erasure.

Author: Filippo Del Tedesco; David Sands

Published: 2009

Published in: Proceedings 7th International Workshop on Security Issues in Concurrency, Bologna (Italy), 5th September 2009

Publication type: Paper in proceedings
All Secrets Great and Small

Author: D. Demange; David Sands

Published: 2009

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

Publication type: Paper in proceedings

Go to Chalmers publication library

Published: Wed 10 Jul 2019.