David Sands

Professor vid Chalmers, Data- och informationsteknik, Informationssäkerhet

Visar 50 publikationer

2018

Runtime verification of hyperproperties for deterministic programs

Srinivas Pinisetty, Gerardo Schneider, David Sands
Proceedings - International Conference on Software Engineering, p. 20-29
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
2016

Featherweight PINQ

Hamid Ebadi Tavallaei, David Sands
Journal of Privacy and Confidentiality. Vol. 7 (2), p. 159-164
Artikel i vetenskaplig tidskrift
2016

Sampling and Partitioning for Differential Privacy

Hamid Ebadi Tavallaei, David Sands, Thibaud Antignac
Privacy Security & Trust Conference 2016, p. 664-673
Paper i proceeding
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 i proceeding
2015

Very static enforcement of dynamic policies

Bart van Delft, Sebastian Hunt, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9036, p. 32-52
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
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 i proceeding
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 i proceeding
2014

Fault-tolerant Non-interference

Filippo Del Tedesco, Alejandro Russo, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 60-76
Paper i proceeding
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 i proceeding
2013

A Datalog Semantics for Paralocks

Bart van Delft, Niklas Broberg, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7783, p. 305-320
Paper i proceeding
2013

Paragon for Practical Programming with Information-Flow Control

Niklas Broberg, Bart van Delft, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8301, p. 217-232
Paper i proceeding
2011

From Exponential to Polynomial-time Security Typing via Principal Types

Sebastian Hunt, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6602, p. 297-316
Paper i proceeding
2011

A Semantic Hierarchy for Erasure Policies

Filippo Del Tedesco, Sebastian Hunt, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7093, p. 352-369
Paper i proceeding
2011

Assumptions and guarantees for compositional noninterference

A. Mantel, David Sands, H. Sudbrock
Proceedings - IEEE Computer Security Foundations Symposium, p. 218-232
Paper i proceeding
2010

Implementing Erasure Policies Using Taint Analysis

Filippo Del Tedesco, Alejandro Russo, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7127, p. 193-209
Paper i proceeding
2010

Safe Wrappers and Sane Policies for Self Protecting JavaScript

Jonas Magazinius, Phu Phung, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7127, p. 239-255
Paper i proceeding
2010

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5983, p. 111-125
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
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 i proceeding
2009

All Secrets Great and Small

D. Demange, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5502, p. 207-221
Paper i proceeding
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 i proceeding
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 i proceeding
2009

Declassification: Dimensions and Principles

Andrei Sabelfeld, David Sands
Journal of Computer Security. Vol. 17 (5), p. 517-548
Artikel i vetenskaplig tidskrift
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 i proceeding
2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands
Rapport
2009

Improving the semantics of imperfect security

Niklas Broberg, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5511 LNCS, p. 88-91
Paper i proceeding
2008

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5283, p. 333-348
Paper i proceeding
2008

Lightweight Self-Protecting JavaScript

Phu Phung, David Sands, Andrey Chudnov
Rapport
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 i proceeding
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 i proceeding
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
Paper i proceeding
2006

Understanding Intrusion Detection through Visualization

Stefan Axelsson, David Sands
Bok
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
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 i proceeding
2005

Dimensions and Principles of Declassification

Andrei Sabelfeld, David Sands
Proceedings of the 18th IEEE Computer Security Foundations Workshop
Paper i proceeding
2004

Controlled Declassification based on Intransitive Noninterference

Heiko Mantel, David Sands
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3302, p. 129-145
Paper i proceeding
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
Artikel i vetenskaplig tidskrift
2002

Lambda Calculi and Linear Speedups

David Sands, Jörgen Gustavsson, Andrew Keith Moran
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Kapitel i bok
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 i proceeding
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
Artikel i vetenskaplig tidskrift
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 i proceeding
2000

Probabilistic Noninterference for Multi-threaded Programs

Andrei Sabelfeld, David Sands
Proceedings of the 13th IEEE Computer Security Foundations Workshop, p. 200-214
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 4 forskningsprojekt

2019–2022

Perspex

David Sands Informationssäkerhet
Vetenskapsrådet (VR)

2018–2023

WebSec: Säkerhet i webb-drivna system

Andrei Sabelfeld Informationssäkerhet
David Sands Informationssäkerhet
Alejandro Russo Informationssäkerhet
Stiftelsen för Strategisk forskning (SSF)

2015–2018

AppFlow

David Sands Programvaruteknik
Andrei Sabelfeld Informationssäkerhet
Alejandro Russo Informationssäkerhet
Niklas Broberg Informationssäkerhet
Vetenskapsrådet (VR)

2012–2016

Informationsdriven säker Business Intelligence (DataBIN)

David Sands Programvaruteknik
Devdatt Dubhashi Datavetenskap
Peter Damaschke Datavetenskap
Gerardo Schneider Programvaruteknik
Olof Mogren Datavetenskap
Raul Pardo Jimenez Programvaruteknik
Hamid Ebadi Tavallaei Programvaruteknik
Fredrik Johansson Datavetenskap
Andrei Sabelfeld Programvaruteknik
Stiftelsen för Strategisk forskning (SSF)

Det kan finnas fler projekt där David Sands medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.