Steve Zdancewic

Citata da

	Tutte	Dal 2020
Citazioni	10451	3532
Indice H	52	30
i10-index	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 758 104

Accesso pubblico

Visualizza tutto

31 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Email verificata su google.com
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityEmail verificata su cs.rutgers.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityEmail verificata su cs.cornell.edu
Jianzhou ZhaoEmail verificata su cis.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
Jennifer PaykinIntelEmail verificata su intel.com
Yannick ZakowskiInriaEmail verificata su inria.fr
David WalkerPrinceton UniversityEmail verificata su cs.princeton.edu
Peter-Michael OseraGrinnell CollegeEmail verificata su cs.grinnell.edu
Paul HeUniversity of TorontoEmail verificata su cs.toronto.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoEmail verificata su uchicago.edu
Nathaniel NystromRelationalAIEmail verificata su usi.ch
Dimitrios VytiniotisDeepMindEmail verificata su google.com
Limin JiaCarnegie Mellon UniversityEmail verificata su andrew.cmu.edu
Dan GrossmanComputer Science, University of WashingtonEmail verificata su cs.washington.edu
Stephen ChongHarvard UniversityEmail verificata su seas.harvard.edu
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceEmail verificata su logicblox.com
William ManskyAssistant Professor, University of Illinois at ChicagoEmail verificata su uic.edu
Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr

Segui

Steve Zdancewic

Professor of Computer and Information Science, University of Pennsylvania

Email verificata su cis.upenn.edu - Home page

Programming Languages Type Theory Logic Computer Security


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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
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	336	2008
Observational determinism for concurrent program security S Zdancewic, AC Myers 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003	336	2003
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	203	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori