David Sands

Professor at Chalmers, Computer Science and Engineering (Chalmers), Information Security

Projects

2015–2018

AppFlow: Putting Information Flow Control to Work

David Sands Software Technology (Chalmers)
Swedish Research Council (VR)

2012–2016

Data-Driven Secure Business Intelligence (DataBIN)

David Sands Software Technology (Chalmers)
Andrei Sabelfeld Software Technology (Chalmers)
Peter Damaschke Computing Science (Chalmers)
Devdatt Dubhashi Computing Science (Chalmers)
Olof Mogren Computing Science (Chalmers)
Fredrik Johansson Computing Science (Chalmers)
Raul Pardo Jimenez Software Technology (Chalmers)
Gerardo Schneider Software Technology (Chalmers)
Hamid Ebadi Tavallaei 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.

Publications

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
Journal article
2016

Sampling and Partitioning for Differential Privacy

Hamid Ebadi Tavallaei, David Sands, Thibaud Antignac
Privacy Security & Trust Conference 2016, p. 664-673
Paper in proceedings
2016

Fault-resilient non-interference

Filippo Del Tedesco, David Sands, Alejandro Russo
29th IEEE Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, 27 June - 1 July 2016, p. 401-416
Paper in proceedings
2015

Very static enforcement of dynamic policies

Bart van Delft, Sebastian Hunt, David Sands
Lecture Notes in Computer Science. Vol. 9036, p. 32-52
Paper in proceedings
2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy, p. 122-136
Paper in proceedings
2015

Differential Privacy: Now it's Getting Personal

Hamid Ebadi Tavallaei, David Sands, Gerardo Schneider
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (1), p. 69-81
Journal article
2015

Differential Privacy: Now it’s Getting Personal

Hamid Ebadi Tavallaei, David Sands, Gerardo Schneider
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15), p. 69-81
Paper in proceedings
2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy, p. 122-136
Paper in proceedings
2014

Fault-tolerant Non-interference

Filippo Del Tedesco, Alejandro Russo, David Sands
Lecture Notes in Computer Science, p. 60-76
Paper in proceedings
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 proceedings
2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands
Lecture Notes in Computer Science. Vol. 7783, p. 305-320
Paper in proceedings
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands
Lecture Notes in Computer Science. Vol. 8301, p. 217-232
Paper in proceedings
2011

From Exponential to Polynomial-time Security Typing via Principal Types

Sebastian Hunt, David Sands
Lecture Notes in Computer Science. Vol. 6602, p. 297-316
Paper in proceedings
2011

A Semantic Hierarchy for Erasure Policies

Filippo Del Tedesco, Sebastian Hunt, David Sands
Lecture Notes in Computer Science. Vol. 7093, p. 352-369
Paper in proceedings
2011

Assumptions and guarantees for compositional noninterference

A. Mantel, David Sands, H. Sudbrock
24th Computer Security Foundations Symposium, CSF 2011; Cernay-la-Ville; 27 June 2011 through 29 June 2011, p. 218-232
Paper in proceedings
2010

Implementing Erasure Policies Using Taint Analysis

Filippo Del Tedesco, Alejandro Russo, David Sands
Lecture Notes in Computer Science. Vol. 7127, p. 193-209
Paper in proceedings
2010

Safe Wrappers and Sane Policies for Self Protecting JavaScript

Jonas Magazinius, Phu Phung, David Sands
Lecture Notes in Computer Science. Vol. 7127, p. 239-255
Paper in proceedings
2010

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands
Lecture Notes in Computer Science. Vol. 5983, p. 111-125
Paper in proceedings
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
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 proceedings
2009

All Secrets Great and Small

D. Demange, David Sands
Lecture Notes in Computer Science. Vol. 5502, p. 207-221
Paper in proceedings
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 proceedings
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 proceedings
2009

Declassification: Dimensions and Principles

Andrei Sabelfeld, David Sands
Journal of Computer Security. Vol. 17 (5), p. 517-548
Journal article
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 proceedings
2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands
Report
2008

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld et al
Lecture Notes in Computer Science. Vol. 5283, p. 333-348
Paper in proceedings
2008

Lightweight Self-Protecting JavaScript

Phu Phung, David Sands, Andrey Chudnov
Report
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 proceedings
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 proceedings
2006

On flow-sensitive security types

Sebastian Hunt, David Sands
Paper in proceedings
2006

Understanding Intrusion Detection through Visualization

Stefan Axelsson, David Sands
Book
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings
2005

Dimensions and Principles of Declassification

Andrei Sabelfeld, David Sands
Paper in proceedings
2004

Controlled Declassification based on Intransitive Noninterference

Heiko Mantel, David Sands
Lecture Notes in Computer Science. Vol. 3302, p. 129-145
Paper in proceedings
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
Chapter in monograph, book - peer reviewed
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 proceedings
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
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 proceedings
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 proceedings