David Sands

Cited by

	All	Since 2019
Citations	5709	1163
h-index	39	19
i10-index	66	35

340

170

255

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202443 31 54 83 43 71 82 85 88 112 80 110 166 159 286 220 235 218 274 328 222 249 310 287 317 264 255 207 219 190 174 118

Public access

View all

6 articles

1 article

available

not available

Based on funding mandates

Co-authors

Sebastian HuntDepartment of Computer Science, City University LondonVerified email at soi.city.ac.uk
Andrei SabelfeldChalmers University of TechnologyVerified email at chalmers.se
Niklas BrobergLecturer in Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Phu H. PhungAssociate Professor of Computer Science at University of DaytonVerified email at udayton.edu
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Hamid EbadiChalmers University of Technology, Gothenburg, SwedenVerified email at chalmers.se
Stefan AxelssonStockholm UniversityVerified email at dsv.su.se
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.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
Aslan AskarovAssociate Professor at Aarhus UniversityVerified email at cs.au.dk
Daniel HedinMälardalen UniversityVerified email at mdh.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
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology BhubaneswarVerified email at iitbbs.ac.in
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
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	412	2000
Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009	374	2009
Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005	343	2005
On flow-sensitive security types S Hunt, D Sands POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006	321	2006
A theorem proving approach to analysis of secure information flow Á Darvas, R Hähnle, D Sands Security in Pervasive Computing: Second International Conference, SPC 2005 …, 2005	294	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	256*	2008
A per model of secure information flow in sequential programs A Sabelfeld, D Sands Higher-order and symbolic computation 14, 59-91, 2001	248	2001
Lightweight self-protecting JavaScript PH Phung, D Sands, A Chudnov Proceedings of the 4th International Symposium on Information, Computer, and …, 2009	197	2009
Controlled declassification based on intransitive noninterference H Mantel, D Sands Proc. Asian Symp. on Programming Languages and Systems, LNCS, 129-145, 2004	150	2004
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	145	2015
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	136	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	127	1999
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	121	1999
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	119	2010
Observable sharing for functional circuit description K Claessen, D Sands Annual Asian Computing Science Conference, 62-73, 1999	117	1999
Complexity analysis for a lazy higher-order language D Sands European Symposium on Programming, 361-376, 1990	113	1990
Understanding intrusion detection through visualization S Axelsson, D Sands Springer-Verlag New York Inc, 2006	112*	2006
Flow locks: Towards a core calculus for dynamic flow policies N Broberg, D Sands European Symposium on Programming, 180-196, 2006	106	2006
Assumptions and guarantees for compositional noninterference H Mantel, D Sands, H Sudbrock 24th Computer Security Foundations Symposium, CSF 2011; Cernay-la-Ville; 27 …, 2011	100	2011
A calculus of Gamma programs C Hankin, D LeMétayer, D Sands International Workshop on Languages and Compilers for Parallel Computing …, 1992	95	1992

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

Follow

Cited by

Co-authors