Steve Zdancewic 个人学术档案

引用次数

	总计	2019 年至今
引用	9960	3701
h 指数	51	31
i10 指数	88	61

740

370

185

555

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 38 92 123 169 285 295 393 340 384 324 344 408 352 377 491 475 543 634 644 546 703 666 736 403

开放获取的出版物数量

查看全部

30 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Santosh NagarakatteProfessor of Computer Science at Rutgers University在 cs.rutgers.edu 的电子邮件经过验证
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)在 google.com 的电子邮件经过验证
Andrew C. MyersProfessor of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Jianzhou Zhao在 cis.upenn.edu 的电子邮件经过验证
Stephanie WeirichProfessor of Computer Science, University of Pennsylvania在 cis.upenn.edu 的电子邮件经过验证
Jennifer PaykinIntel Labs在 intel.com 的电子邮件经过验证
David WalkerPrinceton University在 cs.princeton.edu 的电子邮件经过验证
Peter-Michael OseraGrinnell College在 cs.grinnell.edu 的电子邮件经过验证
Yannick ZakowskiInria在 inria.fr 的电子邮件经过验证
Paul HeUniversity of Toronto在 cs.toronto.edu 的电子邮件经过验证
Robert RandAssistant Professor of Computer Science, University of Chicago在 uchicago.edu 的电子邮件经过验证
Nathaniel NystromRelationalAI在 usi.ch 的电子邮件经过验证
Dimitrios VytiniotisDeepMind在 google.com 的电子邮件经过验证
Limin JiaCarnegie Mellon University在 andrew.cmu.edu 的电子邮件经过验证
Dan GrossmanComputer Science, University of Washington在 cs.washington.edu 的电子邮件经过验证
Stephen ChongHarvard University在 seas.harvard.edu 的电子邮件经过验证
Jeffrey A. VaughanPostdoc, UCLA, Computer Science在 logicblox.com 的电子邮件经过验证
William ManskyAssistant Professor, University of Illinois at Chicago在 uic.edu 的电子邮件经过验证
Chung-Kil HurSeoul National University在 sf.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	770	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	497	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	415	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	325	1999
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	324	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	318	2008
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	318	2001
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	314	2012
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	306	2001
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	296	2015
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	289*	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	229	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	215	2019
QWIRE: a core language for quantum circuits J Paykin, R Rand, S Zdancewic ACM SIGPLAN Notices 52 (1), 846-858, 2017	182	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	163	2012
Challenges for information-flow security S Zdancewic Proceedings of the 1st International Workshop on the Programming Language …, 2004	161	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	157	2001

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用