David Sands

Citeret af

	Alle	Siden 2020
Henvisninger	5806	974
h-index	39	17
i10-indeks	67	29

340

170

255

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 44 32 54 83 42 72 82 85 94 109 77 111 169 167 285 219 236 232 277 330 229 246 312 283 314 260 261 205 223 186 182 163 15

Offentlig adgang

Se alle

6 artikler

1 artikel

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Sebastian HuntDepartment of Computer Science, City University LondonVerificeret mail på soi.city.ac.uk
Niklas BrobergLecturer in Computer Science, Chalmers University of TechnologyVerificeret mail på chalmers.se
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerificeret mail på cse.gu.se
Phu H. PhungAssociate Professor of Computer Science at University of DaytonVerificeret mail på udayton.edu
Chris HankinProfessor of Computing Science, Imperial College LondonVerificeret mail på imperial.ac.uk
Hamid EbadiChalmers University of Technology, Gothenburg, SwedenVerificeret mail på chalmers.se
Stefan AxelssonStockholm UniversityVerificeret mail på dsv.su.se
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerificeret mail på chalmers.se
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtVerificeret mail på cs.tu-darmstadt.de
Koen ClaessenChalmers University of TechnologyVerificeret mail på chalmers.se
Aslan AskarovAssociate Professor at Aarhus UniversityVerificeret mail på cs.au.dk
Daniel HedinMälardalen UniversityVerificeret mail på mdh.se
Andrey ChudnovD. E. Shaw & Co, L.P.Verificeret mail på chudnov.com
Magnus CarlssonVerificeret mail på carlssonia.org
Jonas MagaziniusPhD of Computer Science, Chalmers UniversityVerificeret mail på assured.se
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology BhubaneswarVerificeret mail på iitbbs.ac.in
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verificeret mail på diku.dk
JosefFacebookVerificeret mail på fb.com
Bart van Delft

Følg

David Sands

Professor of Computer Science, Chalmers University of Technology

Verificeret mail på chalmers.se - Startside

Information flow security Language-Based Security Programming Languages


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Probabilistic noninterference for multi-threaded programs A Sabelfeld, D Sands Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000	420	2000
Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009	380	2009
Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005	349	2005
On flow-sensitive security types S Hunt, D Sands POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006	325	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	299	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	264*	2008
A per model of secure information flow in sequential programs A Sabelfeld, D Sands Higher-order and symbolic computation 14, 59-91, 2001	249	2001
Lightweight self-protecting JavaScript PH Phung, D Sands, A Chudnov Proceedings of the 4th International Symposium on Information, Computer, and …, 2009	202	2009
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	152	2015
Controlled declassification based on intransitive noninterference H Mantel, D Sands Proc. Asian Symp. on Programming Languages and Systems, LNCS, 129-145, 2004	152	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	137	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	133	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	121	2010
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
Observable sharing for functional circuit description K Claessen, D Sands Annual Asian Computing Science Conference, 62-73, 1999	119	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	111*	2006
Flow locks: Towards a core calculus for dynamic flow policies N Broberg, D Sands European Symposium on Programming, 180-196, 2006	109	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	104	2011
A calculus of Gamma programs C Hankin, D LeMétayer, D Sands International Workshop on Languages and Compilers for Parallel Computing …, 1992	93	1992

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere