David Sands

Citat de

	Toate	Din 2020
Referințe bibliografice	5811	979
h-index	39	17
i10-index	67	29

340

170

255

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 44 32 54 83 42 72 82 85 94 109 77 110 170 167 285 219 236 233 276 330 229 246 312 284 313 260 261 205 223 186 182 164 19

Acces public

Afișați-le pe toate

6 articole

1 articol

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Sebastian HuntDepartment of Computer Science, City University LondonAdresă de e-mail confirmată pe soi.city.ac.uk
Niklas BrobergLecturer in Computer Science, Chalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Gerardo SchneiderProfessor of Computer Science, University of GothenburgAdresă de e-mail confirmată pe cse.gu.se
Phu H. PhungAssociate Professor of Computer Science at University of DaytonAdresă de e-mail confirmată pe udayton.edu
Chris HankinProfessor of Computing Science, Imperial College LondonAdresă de e-mail confirmată pe imperial.ac.uk
Hamid EbadiChalmers University of Technology, Gothenburg, SwedenAdresă de e-mail confirmată pe chalmers.se
Stefan AxelssonStockholm UniversityAdresă de e-mail confirmată pe dsv.su.se
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityAdresă de e-mail confirmată pe chalmers.se
Reiner HähnleProfessor of Computer Science, Technical University of DarmstadtAdresă de e-mail confirmată pe cs.tu-darmstadt.de
Koen ClaessenChalmers University of TechnologyAdresă de e-mail confirmată pe chalmers.se
Aslan AskarovAssociate Professor at Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Daniel HedinMälardalen UniversityAdresă de e-mail confirmată pe mdh.se
Andrey ChudnovD. E. Shaw & Co, L.P.Adresă de e-mail confirmată pe chudnov.com
Magnus CarlssonAdresă de e-mail confirmată pe carlssonia.org
Jonas MagaziniusPhD of Computer Science, Chalmers UniversityAdresă de e-mail confirmată pe assured.se
Srinivas PinisettyFaculty, Computer Science, School of Electrical Sciences, Indian Institute of Technology BhubaneswarAdresă de e-mail confirmată pe iitbbs.ac.in
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Adresă de e-mail confirmată pe diku.dk
JosefFacebookAdresă de e-mail confirmată pe fb.com
Bart van Delft

Urmăriți

David Sands

Professor of Computer Science, Chalmers University of Technology

Adresă de e-mail confirmată pe chalmers.se - Pagina de pornire

Information flow security Language-Based Security Programming Languages


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	350	2005
On flow-sensitive security types S Hunt, D Sands POPL'06, Proceedings of the 33rd Annual. ACM SIGPLAN - SIGACT. Symposium. on …, 2006	326	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	300	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	153	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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori