Steve Zdancewic

Citée par

	Toutes	Depuis 2018
Citations	9368	3715
indice h	50	31
indice i10	87	64

720

360

180

540

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 40 94 125 166 294 303 392 330 378 321 339 407 347 375 497 479 562 626 641 538 702 667 535

Accès public

Tout afficher

28 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Andrew C. MyersProfessor of Computer Science, Cornell UniversityAdresse e-mail validée de cs.cornell.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Adresse e-mail validée de google.com
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityAdresse e-mail validée de cs.rutgers.edu
Jianzhou ZhaoAdresse e-mail validée de cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
David WalkerPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
Jennifer PaykinIntel LabsAdresse e-mail validée de intel.com
Peter-Michael OseraGrinnell CollegeAdresse e-mail validée de cs.grinnell.edu
Yannick ZakowskiInriaAdresse e-mail validée de inria.fr
Paul HeUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoAdresse e-mail validée de uchicago.edu
Dan GrossmanComputer Science, University of WashingtonAdresse e-mail validée de cs.washington.edu
Nathaniel NystromUniversità della Svizzera italiana / RelationalAIAdresse e-mail validée de usi.ch
Dimitrios VytiniotisDeepMindAdresse e-mail validée de google.com
Stephen ChongHarvard UniversityAdresse e-mail validée de seas.harvard.edu
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceAdresse e-mail validée de logicblox.com
Li-yao XiaUniversity of EdinburghAdresse e-mail validée de ed.ac.uk
William ManskyAssistant Professor, University of Illinois at ChicagoAdresse e-mail validée de uic.edu
Chung-Kil HurSeoul National UniversityAdresse e-mail validée de sf.snu.ac.kr

Suivre

Steve Zdancewic

Professor of Computer and Information Science, University of Pennsylvania

Adresse e-mail validée de cis.upenn.edu - Page d'accueil

Programming Languages Type Theory Logic Computer Security


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
SoftBound: Highly compatible and complete spatial memory safety for C S Nagarakatte, J Zhao, MMK Martin, S Zdancewic Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009	703	2009
CETS: compiler enforced temporal safety for C S Nagarakatte, J Zhao, MMK Martin, S Zdancewic Proceedings of the 2010 international symposium on Memory management, 31-40, 2010	462	2010
Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... Theorem Proving in Higher Order Logics: 18th International Conference …, 2005	402	2005
TALx86: A realistic typed assembly language K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ... 1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999	317	1999
Jif: Java information flow AC Myers, L Zheng, S Zdancewic, S Chong, N Nystrom Software release. Located at http://www. cs. cornell. edu/jif 2005, 2001	316	2001
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	312	2003
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	302	2001
Hardbound: Architectural support for spatial safety of the C programming language J Devietti, C Blundell, MMK Martin, S Zdancewic ACM SIGOPS Operating Systems Review 42 (2), 103-114, 2008	299	2008
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	288*	2004
Formalizing the LLVM intermediate representation for verified program transformations J Zhao, S Nagarakatte, MMK Martin, S Zdancewic Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012	286	2012
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	260	2015
Downgrading policies and relaxed noninterference P Li, S Zdancewic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	236	2005
Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002	214	2002
Sok: General purpose compilers for secure multi-party computation M Hastings, B Hemenway, D Noble, S Zdancewic 2019 IEEE symposium on security and privacy (SP), 1220-1237, 2019	181	2019
Programming languages for information security SA Zdancewic Cornell University, 2002	172	2002
A theory of aspects D Walker, S Zdancewic, J Ligatti ACM SIGPLAN Notices 38 (9), 127-139, 2003	171	2003
QWIRE: a core language for quantum circuits J Paykin, R Rand, S Zdancewic ACM SIGPLAN Notices 52 (1), 846-858, 2017	160	2017
Challenges for information-flow security S Zdancewic Proceedings of the 1st International Workshop on the Programming Language …, 2004	160	2004
Untrusted hosts and confidentiality: Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM SIGOPS Operating Systems Review 35 (5), 1-14, 2001	156	2001
Watchdog: Hardware for safe and secure manual memory management and full memory safety S Nagarakatte, MMK Martin, S Zdancewic ACM SIGARCH Computer Architecture News 40 (3), 189-200, 2012	146	2012

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs