David Sands

Proprefekt vid Data- och informationsteknik

Källa: chalmers.se

Kontaktuppgifter ORCID

Publikationer (54)
Projekt (4)

Visar 54 publikationer

2023

Reconciling Shannon and Scott with a Lattice of Computable Information

Sebastian Hunt, David Sands, Sandro Stucki

Proceedings of the ACM on Programming Languages. Vol. 7, p. 1987-2016

Artikel i vetenskaplig tidskrift

2022

PropR: Property-Based Automatic Program Repair

Matthías Páll Gissurarson, Leonhard Applis, Annibale Panichella et al

Proceedings - International Conference on Software Engineering. Vol. 2022-May

Paper i proceeding

2021

A Quantale of Information

Leo Sebastian Hunt, David Sands

Proceedings - IEEE Computer Security Foundations Symposium. Vol. 2021-June, p. 94-108

Paper i proceeding

Visa projekt

2020

New Program Abstractions for Privacy

Sebastian Hunt, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12065 LNCS, p. 256-267

Kapitel i bok

2019

Preface

Flemming Nielson, David Sands

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11426 LNCS

Övrig text i vetenskaplig tidskrift

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

Paper i proceeding

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

Featherweight PINQ

Hamid Ebadi Tavallaei, David Sands

Journal of Privacy and Confidentiality. Vol. 7 (2), p. 159-164

Artikel i vetenskaplig tidskrift

2016

Fault-resilient non-interference

Filippo Del Tedesco, David Sands, Alejandro Russo

Proceedings - IEEE Computer Security Foundations Symposium. Vol. 2016-August, p. 401-416

Paper i proceeding

2015

Differential Privacy: Now it’s Getting Personal

Hamid Ebadi Tavallaei, David Sands, Gerardo Schneider

ACM SIGPLAN Notices. Vol. 50 (1), p. 69-81

Artikel i vetenskaplig tidskrift

2015

The Anatomy and Facets of Dynamic Policies

Niklas Broberg, Bart van Delft, David Sands

Proceedings. The Computer Security Foundations Workshop III. Vol. 2015-September, p. 122-136

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

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

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). Vol. 8364 LNCS, p. 60-76

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 LNCS, 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 LNCS, p. 217-232

Paper i proceeding

2012

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 LNCS, p. 193-209

Paper i proceeding

2012

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 LNCS, p. 239-255

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

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

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

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

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

2009

Specification and Verification of Side Channel Declassification

Josef Svenningsson, David Sands

Rapport

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

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

Declassification: Dimensions and Principles

Andrei Sabelfeld, David Sands

Journal of Computer Security. Vol. 17 (5), p. 517-548

Artikel i vetenskaplig tidskrift

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

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

2008

Lightweight Self-Protecting JavaScript

Phu Phung, David Sands, Andrey Chudnov

Rapport

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

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

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

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

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

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

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

2006

The 4th ACM Workshop on Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering

Andrew Gordon, David Sands

Samlingsverk (redaktörskap)

2006

Understanding Intrusion Detection through Visualization

Stefan Axelsson, David Sands

Bok

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

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

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

2004

Controlled Declassification based on Intransitive Noninterference

Heiko Mantel, David Sands

Rapport

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

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

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

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 4 forskningsprojekt

2019–2022

Perspex

David Sands Informationssäkerhet

Vetenskapsrådet (VR)

2 publikationer finns

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)

30 publikationer finns

2015–2018

AppFlow

David Sands Programvaruteknik

Andrei Sabelfeld Informationssäkerhet

Alejandro Russo Informationssäkerhet

Niklas Broberg Informationssäkerhet

Vetenskapsrådet (VR)

1 publikation finns

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.