David Sands

Cited by

	All	Since 2016
Citations	4767	1244
h-index	36	19
i10-index	59	33

320

160

240

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202112 14 40 31 53 81 44 82 80 79 85 99 84 104 149 156 267 208 222 216 281 318 227 228 319 257 301 262 239 177 8

Co-authors

Andrei SabelfeldChalmers University of TechnologyVerified email at chalmers.se
Niklas BrobergLecturer in Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Sebastian HuntDepartment of Computer Science, City University LondonVerified email at soi.city.ac.uk
Phu H. PhungAssistant Professor of Computer Science at University of DaytonVerified email at udayton.edu
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Stefan AxelssonHalmstad University/NTNU-Norwegian University of Science and TechnologyVerified email at hh.se
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerified email at cs.tu-darmstadt.de
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Daniel HedinMälardalen UniversityVerified email at mdh.se
Aslan AskarovAssociate Professor at Aarhus UniversityVerified email at cs.au.dk
Hamid EbadiChalmers University of Technology, Gothenburg, SwedenVerified email at chalmers.se
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers University of TechnologyVerified email at chalmers.se
Andrey ChudnovD. E. Shaw & Co, L.P.Verified email at chudnov.com
Magnus CarlssonVerified email at carlssonia.org
Jonas MagaziniusPhD of Computer Science, Chalmers UniversityVerified email at assured.se
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
Srinivas PinisettyPostdoc, Computer Science, Aalto University, FinlandVerified email at aalto.fi
JosefFacebookVerified email at fb.com
Bart van Delft

David Sands

Professor of Computer Science, Chalmers University of Technology

Verified email at chalmers.se - Homepage

Information flow security Language-Based Security Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Probabilistic noninterference for multi-threaded programs A Sabelfeld, D Sands Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000	367	2000
Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005	301	2005
Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009	291	2009
On flow-sensitive security types S Hunt, D Sands POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006	265	2006
A theorem proving approach to analysis of secure information flow Á Darvas, R Hähnle, D Sands International Conference on Security in Pervasive Computing, 193-209, 2005	248	2005
Termination-insensitive noninterference leaks more than just a bit S Hunt, A Askarov, A Sabelfeld, D Sands Proc. 13th European Symposium on Research in Computer Security (ESORICS'08) 5283, 2008	213*	2008
A per model of secure information flow in sequential programs A Sabelfeld, D Sands Higher-order and symbolic computation 14 (1), 59-91, 2001	205	2001
Lightweight self-protecting JavaScript PH Phung, D Sands, A Chudnov Proceedings of the 4th International Symposium on Information, Computer, and …, 2009	169	2009
Controlled declassification based on intransitive noninterference H Mantel, D Sands Proc. Asian Symp. on Programming Languages and Systems, LNCS, 129-145, 2004	130	2004
Total correctness by local improvement in the transformation of functional programs D Sands ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (2), 175-234, 1996	130	1996
A per model of secure information flow in sequential programs A Sabelfeld, D Sands ESOP '99 Proceedings of the 8th European Symposium on Programming Languages …, 1999	123	1999
Understanding intrusion detection through visualization S Axelsson, D Sands Springer-Verlag New York Inc, 2006	112*	2006
Observable sharing for functional circuit description K Claessen, D Sands Annual Asian Computing Science Conference, 62-73, 1999	109	1999
Complexity analysis for a lazy higher-order language D Sands Functional Programming, 56-79, 1990	108	1990
Improvement in a lazy context: An operational theory for call-by-need A Moran, D Sands Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999	103	1999
A calculus of Gamma programs C Hankin, D LeMétayer, D Sands International Workshop on Languages and Compilers for Parallel Computing …, 1992	90	1992
Flow locks: Towards a core calculus for dynamic flow policies N Broberg, D Sands European Symposium on Programming, 180-196, 2006	88	2006
A naive time analysis and its theory of cost equivalence D Sands Journal of Logic and Computation 5 (4), 495-541, 1995	85	1995
Paralocks: role-based information flow control and beyond N Broberg, D Sands POPL '10 Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on …, 2010	84	2010
Differential privacy: Now it's getting personal H Ebadi, D Sands, G Schneider POPL'15: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2015	79	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors