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 +46 31 772 10 59 Find me http://orcid.org/0000-0001-6221-0503

Publications
Collaboration and projects

Latest publications

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:

Publication type: Journal article
Sampling and Partitioning for Differential Privacy

Author: Hamid Ebadi Tavallaei; David Sands; Thibaud Antignac

Published: 2016

Published in:

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

Author: Filippo Del Tedesco; David Sands; Alejandro Russo

Published: 2016

Published in:

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:

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:

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:

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
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:

Publication type: Paper in proceedings
Implementing Erasure Policies Using Taint Analysis

Author: Filippo Del Tedesco; Alejandro Russo; 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
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
Safe Wrappers and Sane Policies for Self Protecting JavaScript

Author: Jonas Magazinius; Phu Phung; 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:

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
Lightweight Self-Protecting JavaScript

Author: Phu Phung; David Sands; Andrey Chudnov

Published: 2009

Published in:

Publication type: Paper in proceedings

Go to Chalmers publication library

Published: Thu 03 Oct 2013. Modified: Wed 10 Jul 2019