Steve Zdancewic

Cited by

	All	Since 2018
Citations	9554	3881
h-index	51	31
i10-index	87	65

720

360

180

540

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 40 94 125 166 294 303 392 336 379 320 345 409 347 376 493 486 562 626 647 537 703 670 688

Public access

View all

27 articles

1 article

available

not available

Based on funding mandates

Co-authors

Andrew C. MyersProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
Jianzhou ZhaoVerified email at cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
David WalkerPrinceton UniversityVerified email at cs.princeton.edu
Jennifer PaykinIntel LabsVerified email at intel.com
Peter-Michael OseraGrinnell CollegeVerified email at cs.grinnell.edu
Yannick ZakowskiInriaVerified email at inria.fr
Paul HeUniversity of PennsylvaniaVerified email at cis.upenn.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu
Dan GrossmanComputer Science, University of WashingtonVerified email at cs.washington.edu
Nathaniel NystromRelationalAIVerified email at usi.ch
Dimitrios VytiniotisDeepMindVerified email at google.com
Limin JiaCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceVerified email at logicblox.com
Li-yao XiaUniversity of EdinburghVerified email at ed.ac.uk
William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu

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	726	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	469	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	405	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	318	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	317	2001
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	315	2003
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	307	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	306	2008
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	293*	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	292	2012
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	269	2015
Downgrading policies and relaxed noninterference P Li, S Zdancewic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	237	2005
Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002	217	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	186	2019
Programming languages for information security SA Zdancewic Cornell University, 2002	176	2002
QWIRE: a core language for quantum circuits J Paykin, R Rand, S Zdancewic ACM SIGPLAN Notices 52 (1), 846-858, 2017	174	2017
A theory of aspects D Walker, S Zdancewic, J Ligatti ACM SIGPLAN Notices 38 (9), 127-139, 2003	171	2003
Challenges for information-flow security S Zdancewic Proceedings of the 1st International Workshop on the Programming Language …, 2004	162	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	150	2012

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

Cited by

Co-authors