David Sands

at

Projects

2015–2018

AppFlow: Putting Information Flow Control to Work

David Sands Department of Computer Science and Engineering, Software Technology (Chalmers)
Swedish Research Council (VR)

2012–2016

Data-Driven Secure Business Intelligence (DataBIN)

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

2016

Sampling and Partitioning for Differential Privacy

Hamid Tavallaei Ebadi, David Sands, Thibaud Antignac et al
Privacy Security & Trust Conference 2016
Conference paper - peer reviewed
2016

Fault-resilient non-interference

Filippo Del Tedesco, David Sands, Alejandro Russo et al
29th IEEE Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, 27 June - 1 July 2016, p. 401-416
Conference paper - peer reviewed
2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands et al
28th IEEE Computer Security Foundations Symposium (CSF), July 13-17, 2015, Verona, Italy, p. 122-136
Conference paper - peer reviewed
2015

Very static enforcement of dynamic policies

Bart van Delft, Sebastian Hunt, David Sands et al
Lecture Notes in Computer Science - Proceedings of the 4th International Conference on Principles of Security and Trust, POST 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London 11-18 April 2015. Vol. 9036, p. 32-52
Conference paper - peer reviewed
2015

Differential Privacy: Now it's Getting Personal

Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider et al
Acm Sigplan Notices. Vol. 50 (1), p. 69-81
Scientific journal article - peer reviewed
2015

Differential Privacy: Now it’s Getting Personal

Hamid Tavallaei Ebadi, David Sands, Gerardo Schneider et al
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '15), p. 69-81
Conference paper - peer reviewed
2014

Fault-tolerant Non-interference

Filippo Del Tedesco, Alejandro Russo, David Sands et al
International Symposium on Secure Software and Systems
Conference paper - peer reviewed
2014

Paragon: Programming with information flow control (demo)

Niklas Broberg, Bart van Delft, David Sands et al
9th Workshop on Programming Languages and Analysis for Security, PLAS 2014; Uppsala; Sweden; 28 July 2014 through 1 August 2014, p. 79-80
Conference paper - peer reviewed
2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands et al
8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers. Vol. 7783 , p. 305-320
Conference paper - peer reviewed
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands et al
11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings. Vol. 8301, p. 217-232
Conference paper - peer reviewed
2011

From Exponential to Polynomial-time Security Typing via Principal Types

S. Hunt, David Sands,
Lecture Notes in Computer Science. 20th European Symposium on Programming, ESOP 2011. Vol. 6602, p. 297-316
Conference paper - peer reviewed
2011

Assumptions and guarantees for compositional noninterference

A. Mantel, David Sands, H. Sudbrock et al
24th Computer Security Foundations Symposium, CSF 2011; Cernay-la-Ville; 27 June 2011 through 29 June 2011, p. 218-232
Conference paper - peer reviewed
2011

A Semantic Hierarchy for Erasure Policies

Filippo Del Tedesco, Sebastian Hunt, David Sands et al
Lecture Notes in Computer Science, Seventh International Conference on Information Systems Security, December 2011, Kolkata (India). Vol. 7093, p. 352-369
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2010

Safe Wrappers and Sane Policies for Self Protecting JavaScript

Jonas Magazinius, Phu H. Phung, David Sands et al
Lecture Notes in Computer Science: 15th Nordic Conference on Secure IT Systems, NordSec 2010; Espoo; Finland; 27 October 2010 through 29 October 2010. Vol. 7127, p. 239-255
Conference paper - peer reviewed
2010

Implementing Erasure Policies Using Taint Analysis

Filippo Del Tedesco, Alejandro Russo, David Sands et al
Nordic Conference in Secure IT Systems (NORDSEC 2010), 2010, Espoo, Finland. Vol. 7127, p. 193-209
Conference paper - peer reviewed
2010

Paralocks - Role-Based Information Flow Control and Beyond

N. Broberg, David Sands,
ACM Sigplan Notices. Vol. 45 (1), p. 431-444
Scientific journal article - peer reviewed
2010

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands,
Lecture Notes in Computer Science. 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009, Eindhoven, 5-6 November 2009. Vol. 5983, p. 111-125
Conference paper - peer reviewed
2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands,
Report
2009

All Secrets Great and Small

D. Demange, David Sands,
Programming Languages and Systems. 18th European Symposium on Programming, ESOP 2009. Vol. 5502, p. 207-221
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2009

Declassification: Dimensions and Principles

Andrei Sabelfeld, David Sands,
Journal of Computer Security. Vol. 17 (5), p. 517-548
Scientific journal article - peer reviewed
2009

Lightweight Self-Protecting JavaScript

Phu H. Phung, David Sands, Andrey Chudnov et al
Proceedings of ACM Symposium on Information, Computer and Communications Security (ASIACCS 2009), p. 47-60
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2008

Lightweight Self-Protecting JavaScript

Phu H. Phung, David Sands, Andrey Chudnov et al
Report
2008

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld et al
In Proceedings of the 13th European Symposium on Research in Computer Security, Malaga, Spain, October 2008.. Vol. 5283, p. 333-348
Conference paper - peer reviewed
2008

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

Phu H. 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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2006

Understanding Intrusion Detection through Visualization

Stefan Axelsson, David Sands,
Monograph, 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)
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2005

Timing Aware Information Flow Security for a JavaCard-like Bytecode

Daniel Hedin, David Sands,
Electronic Notes in Theoretical Computer Science, Proceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005). Vol. 141 (1), p. 163-182
Conference paper - peer reviewed
2005

Dimensions and Principles of Declassification

Andrei Sabelfeld, David Sands,
Proceedings of the 18th IEEE Computer Security Foundations Workshop
Conference paper - peer reviewed
2005

A Theorem Proving Approach to Analysis of Secure Information Flow

Adam Darvas, Reiner Hähnle, David Sands et al
Security in Pervasive Computing: Second International Conference, SPC 2005. Vol. 3450, p. 193-208
Conference paper - peer reviewed
2004

Controlled Declassification based on Intransitive Noninterference

Heiko Mantel, David Sands,
Lecture Notes in Computer Science - Proceedings of the Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Vol. 3302, p. 129-145
Conference paper - peer reviewed
2003

Erratic fudgets: a semantic theory for an embedded coordination language

Andrew Moran, David Sands, M. Carlsson et al
Science of Computer Programming. Vol. 46 (1-2), p. 99-135
Scientific journal article - peer reviewed
2002

Lambda Calculi and Linear Speedups

David Sands, Jörgen Gustavsson, Andrew Keith Moran et al
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Chapter in monograph, book
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
Scientific journal article - peer reviewed
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
Conference paper - 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
Conference paper - peer reviewed
2000

Probabilistic Noninterference for Multi-threaded Programs

Andrei Sabelfeld, David Sands,
Proceedings of the 13th IEEE Computer Security Foundations Workshop, p. 200-214
Conference paper - peer reviewed