Steve Zdancewic

Cited by

	All	Since 2017
Citations	8307	3332
h-index	49	30
i10-index	78	58

720

360

180

540

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202235 36 80 105 158 269 305 389 334 377 312 350 398 353 369 493 474 561 637 640 557 711 225

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew C. MyersProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Santosh NagarakatteAssociate Professor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Jianzhou ZhaoVerified email at cis.upenn.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Jennifer PaykinGalois IncVerified email at galois.com
Peter-Michael OseraGrinnell CollegeVerified email at cs.grinnell.edu
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
Nathaniel NystromUniversità della Svizzera italiana / RelationalAIVerified email at usi.ch
Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceVerified email at logicblox.com
Dimitrios VytiniotisDeepMindVerified email at google.com
Limin JiaCarnegie Mellon UniversityVerified email at cmu.edu
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu
Li-yao XiaUniversity of PennsylvaniaVerified email at seas.upenn.edu
Yannick ZakowskiInriaVerified email at inria.fr
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr

Steve Zdancewic

Professor of Computer and Information Science, University of Pennsylvania

Verified email at cis.upenn.edu - Homepage

Programming Languages Type Theory Logic Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	617	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	395	2010
Mechanized Metatheory for the Masses: The PoplMark Challenge BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ... International Conference on Theorem Proving in Higher Order Logics, 50-65, 2005	383	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	313	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	308	2001
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	285	2003
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	274	2001
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	266*	2004
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	254	2008
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	250	2012
Downgrading policies and relaxed noninterference P Li, S Zdancewic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	222	2005
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	214	2015
Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002	197	2002
A theory of aspects D Walker, S Zdancewic, J Ligatti ACM SIGPLAN Notices 38 (9), 127-139, 2003	168	2003
Programming languages for information security SA Zdancewic Cornell University, 2002	159	2002
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	157	2001
Challenges for information-flow security S Zdancewic Proceedings of the 1st International Workshop on the Programming Language …, 2004	151	2004
Using replication and partitioning to build secure distributed systems L Zheng, S Chong, AC Myers, S Zdancewic 2003 Symposium on Security and Privacy, 2003., 236-250, 2003	132	2003
Aura: A programming language for authorization and audit L Jia, JA Vaughan, K Mazurak, J Zhao, L Zarko, J Schorr, S Zdancewic ACM Sigplan Notices 43 (9), 27-38, 2008	127	2008
Run-time principals in information-flow type systems S Tse, S Zdancewic ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (1), 6-es, 2007	125	2007

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 this author

Cited by

Co-authors