Steve Zdancewic

Citado por

	Todos	Desde 2020
Citações	10453	3552
Índice h	52	29
Índice i10	91	59

780

390

195

585

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 39 88 123 171 297 299 392 342 389 326 343 402 354 377 485 470 551 613 641 547 700 671 720 766 148

Acesso público

Ver todos

30 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)E-mail confirmado em google.com
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityE-mail confirmado em cs.rutgers.edu
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityE-mail confirmado em cs.cornell.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaE-mail confirmado em cis.upenn.edu
Jianzhou ZhaoE-mail confirmado em cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaE-mail confirmado em cis.upenn.edu
Jennifer PaykinIntelE-mail confirmado em intel.com
David WalkerPrinceton UniversityE-mail confirmado em cs.princeton.edu
Peter-Michael OseraGrinnell CollegeE-mail confirmado em cs.grinnell.edu
Yannick ZakowskiInriaE-mail confirmado em inria.fr
Paul HeUniversity of TorontoE-mail confirmado em cs.toronto.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoE-mail confirmado em uchicago.edu
Dan GrossmanComputer Science, University of WashingtonE-mail confirmado em cs.washington.edu
Nathaniel NystromRelationalAIE-mail confirmado em usi.ch
Dimitrios VytiniotisDeepMindE-mail confirmado em google.com
Limin JiaCarnegie Mellon UniversityE-mail confirmado em andrew.cmu.edu
Stephen ChongHarvard UniversityE-mail confirmado em seas.harvard.edu
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceE-mail confirmado em logicblox.com
William ManskyAssistant Professor, University of Illinois at ChicagoE-mail confirmado em uic.edu
Chung-Kil HurSeoul National UniversityE-mail confirmado em sf.snu.ac.kr

Seguir

Steve Zdancewic

Professor of Computer and Information Science, University of Pennsylvania

E-mail confirmado em cis.upenn.edu - Página inicial

Programming Languages Type Theory Logic Computer Security


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	815	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	513	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	422	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	341	2012
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	337	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	333	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	329	1999
Type-and-example-directed program synthesis PM Osera, S Zdancewic ACM SIGPLAN Notices 50 (6), 619-630, 2015	319	2015
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
Robust Declassification. S Zdancewic, AC Myers csfw 1, 15-23, 2001	315	2001
Enforcing robust declassification AC Myers, A Sabelfeld, S Zdancewic Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004	294*	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	245	2019
Downgrading policies and relaxed noninterference P Li, S Zdancewic Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005	244	2005
Secure program partitioning S Zdancewic, L Zheng, N Nystrom, AC Myers ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002	241	2002
QWIRE: a core language for quantum circuits J Paykin, R Rand, S Zdancewic ACM SIGPLAN Notices 52 (1), 846-858, 2017	205	2017
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	194	2019
A theory of aspects D Walker, S Zdancewic, J Ligatti ACM SIGPLAN Notices 38 (9), 127-139, 2003	173	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	163	2004

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores