Steve Zdancewic

인용

	전체	2019년 이후
서지정보	10289	4021
h-index	51	32
i10-index	90	63

760

380

190

570

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 38 92 123 171 284 295 392 340 384 324 344 408 352 378 491 475 543 633 647 549 708 668 744 701

공개 액세스

모두 보기

자료 30개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Santosh NagarakatteProfessor of Computer Science at Rutgers Universitycs.rutgers.edu의 이메일 확인됨
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)google.com의 이메일 확인됨
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell Universitycs.cornell.edu의 이메일 확인됨
Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
Jianzhou Zhaocis.upenn.edu의 이메일 확인됨
Stephanie WeirichProfessor of Computer Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
Jennifer PaykinIntel Labsintel.com의 이메일 확인됨
David WalkerPrinceton Universitycs.princeton.edu의 이메일 확인됨
Yannick ZakowskiInriainria.fr의 이메일 확인됨
Peter-Michael OseraGrinnell Collegecs.grinnell.edu의 이메일 확인됨
Paul HeUniversity of Torontocs.toronto.edu의 이메일 확인됨
Robert RandAssistant Professor of Computer Science, University of Chicagouchicago.edu의 이메일 확인됨
Nathaniel NystromRelationalAIusi.ch의 이메일 확인됨
Dimitrios VytiniotisDeepMindgoogle.com의 이메일 확인됨
Limin JiaCarnegie Mellon Universityandrew.cmu.edu의 이메일 확인됨
Dan GrossmanComputer Science, University of Washingtoncs.washington.edu의 이메일 확인됨
Stephen ChongHarvard Universityseas.harvard.edu의 이메일 확인됨
Jeffrey A. VaughanPostdoc, UCLA, Computer Sciencelogicblox.com의 이메일 확인됨
William ManskyAssistant Professor, University of Illinois at Chicagouic.edu의 이메일 확인됨
Chung-Kil HurSeoul National Universitysf.snu.ac.kr의 이메일 확인됨

팔로우

Steve Zdancewic

Professor of Computer and Information Science, University of Pennsylvania

cis.upenn.edu의 이메일 확인됨 - 홈페이지

Programming Languages Type Theory Logic Computer Security


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
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	809	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	517	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	423	2005
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	336	2003
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	330	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	328	2012
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	326	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	319	2001
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	312	2015
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	312	2001
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	291*	2004
Downgrading policies and relaxed noninterference P Li, S Zdancewic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	240	2005
Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002	238	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	231	2019
QWIRE: a core language for quantum circuits J Paykin, R Rand, S Zdancewic ACM SIGPLAN Notices 52 (1), 846-858, 2017	196	2017
A theory of aspects D Walker, S Zdancewic, J Ligatti ACM SIGPLAN Notices 38 (9), 127-139, 2003	174	2003
Programming languages for information security SA Zdancewic Cornell University, 2002	173	2002
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	168	2012
Challenges for information-flow security S Zdancewic Proceedings of the 1st International Workshop on the Programming Language …, 2004	161	2004
Interaction trees: representing recursive and impure programs in Coq L Xia, Y Zakowski, P He, CK Hur, G Malecha, BC Pierce, S Zdancewic Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019	158	2019

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자