David Sands 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	5673	1131
h 指数	39	18
i10 指数	66	35

340

170

255

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 42 31 54 83 43 71 82 85 88 111 80 110 166 159 290 220 235 214 274 328 222 249 310 285 317 264 254 203 218 190 180 86

开放获取的出版物数量

查看全部

6 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Sebastian HuntDepartment of Computer Science, City University London在 soi.city.ac.uk 的电子邮件经过验证
Andrei SabelfeldChalmers University of Technology在 chalmers.se 的电子邮件经过验证
Niklas BrobergLecturer in Computer Science, Chalmers University of Technology在 chalmers.se 的电子邮件经过验证
Phu H. PhungAssociate Professor of Computer Science at University of Dayton在 udayton.edu 的电子邮件经过验证
Gerardo SchneiderProfessor of Computer Science, University of Gothenburg在 cse.gu.se 的电子邮件经过验证
Chris HankinProfessor of Computing Science, Imperial College London在 imperial.ac.uk 的电子邮件经过验证
Hamid EbadiChalmers University of Technology, Gothenburg, Sweden在 chalmers.se 的电子邮件经过验证
Stefan AxelssonStockholm University/NTNU-Norwegian University of Science and Technology在 dsv.su.se 的电子邮件经过验证
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg University在 chalmers.se 的电子邮件经过验证
Reiner HähnleProfessor of Computer Science, Technical University of Darmstadt在 cs.tu-darmstadt.de 的电子邮件经过验证
Koen ClaessenChalmers University of Technology在 chalmers.se 的电子邮件经过验证
Aslan AskarovAssociate Professor at Aarhus University在 cs.au.dk 的电子邮件经过验证
Daniel HedinMälardalen University在 mdh.se 的电子邮件经过验证
Andrey ChudnovD. E. Shaw & Co, L.P.在 chudnov.com 的电子邮件经过验证
Magnus Carlsson在 carlssonia.org 的电子邮件经过验证
Jonas MagaziniusPhD of Computer Science, Chalmers University在 assured.se 的电子邮件经过验证
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology Bhubaneswar在 iitbbs.ac.in 的电子邮件经过验证
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)在 diku.dk 的电子邮件经过验证
JosefFacebook在 fb.com 的电子邮件经过验证
Bart van Delft

关注

David Sands

Professor of Computer Science, Chalmers University of Technology

在 chalmers.se 的电子邮件经过验证 - 首页

Information flow security Language-Based Security Programming Languages


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Probabilistic noninterference for multi-threaded programs A Sabelfeld, D Sands Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 200-214, 2000	411	2000
Declassification: Dimensions and principles A Sabelfeld, D Sands Journal of Computer Security 17 (5), 517-548, 2009	373	2009
Dimensions and principles of declassification A Sabelfeld, D Sands 18th IEEE Computer Security Foundations Workshop (CSFW'05), 255-269, 2005	342	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	291	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	247	2001
Lightweight self-protecting JavaScript PH Phung, D Sands, A Chudnov Proceedings of the 4th International Symposium on Information, Computer, and …, 2009	195	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	142	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	135	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	120	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	118	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	112	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	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	99	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用