Steve Zdancewic

引用先

	すべて	2020 年以来
引用	10453	3534
h 指標	52	30
i10 指標	92	60

760

380

190

570

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202535 38 92 123 170 284 295 393 341 383 325 344 408 352 378 494 475 542 634 646 549 710 667 744 757 107

オープンアクセス

すべて表示

31 件の論文

0 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)確認したメールアドレス: google.com
Santosh NagarakatteProfessor of Computer Science at Rutgers University確認したメールアドレス: cs.rutgers.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania確認したメールアドレス: cis.upenn.edu
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell University確認したメールアドレス: cs.cornell.edu
Jianzhou Zhao確認したメールアドレス: cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of Pennsylvania確認したメールアドレス: cis.upenn.edu
Jennifer PaykinIntel確認したメールアドレス: intel.com
Yannick ZakowskiInria確認したメールアドレス: inria.fr
David WalkerPrinceton University確認したメールアドレス: cs.princeton.edu
Peter-Michael OseraGrinnell College確認したメールアドレス: cs.grinnell.edu
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	822	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	523	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	424	2005
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	338	2012
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	335	2008
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	320	2001
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	318	2015
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	314	2001
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	292*	2004
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	242	2019
Downgrading policies and relaxed noninterference P Li, S Zdancewic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	241	2005
Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002	240	2002
QWIRE: a core language for quantum circuits J Paykin, R Rand, S Zdancewic ACM SIGPLAN Notices 52 (1), 846-858, 2017	204	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	174	2002
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	172	2019
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	170	2012
Challenges for information-flow security S Zdancewic Proceedings of the 1st International Workshop on the Programming Language …, 2004	163	2004

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者