Concepedia

David Sands

DS

Statistics

Publications

38

Citations

2.5K

H-Index

24

Active since

1985

Affiliations

Chalmers University of Technology(Current)

University of Gothenburg

University of Copenhagen

City, University of London

Imperial College London

David Sands is an author at Chalmers University of Technology specializing in engineering, computer science, and software analysis.

ORCID

Top concepts

Publications per year

1985–2022

38

Publications

38

Probabilistic noninterference for multi-threaded programs

Andrei Sabelfeld, David Sands · 2002 · 305 citations

, , +22

Dimensions and Principles of Declassification

Andrei Sabelfeld, David Sands · 2005 · 261 citations

, , +20

Declassification: Dimensions and principles

Andrei Sabelfeld, David Sands · Journal of Computer Security · 2009 · 213 citations

, , +18

On flow-sensitive security types

Sebastian Hunt, David Sands · 2006 · 204 citations

, , +20

A Per Model of Secure Information Flow in Sequential Programs

Andrei Sabelfeld, David Sands · LISP and Symbolic Computation · 2001 · 172 citations

1–5 of 38