Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
TitleCited byYear
SoftBound: Highly compatible and complete spatial memory safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM Sigplan Notices 44 (6), 245-258, 2009
4082009
Mechanized Metatheory for the Masses: The PoplMark Challenge
BE Aydemir, A Bohannon, M Fairbairn, JN Foster, BC Pierce, P Sewell, ...
International Conference on Theorem Proving in Higher Order Logics, 50-65, 2005
3422005
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
2881999
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
2762001
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
ACM Sigplan Notices 45 (8), 31-40, 2010
2542010
Robust Declassification.
S Zdancewic, AC Myers
csfw 1, 15-23, 2001
2482001
Enforcing robust declassification
AC Myers, A Sabelfeld, S Zdancewic
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004
238*2004
Observational determinism for concurrent program security
S Zdancewic, AC Myers
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003
2372003
Downgrading policies and relaxed noninterference
P Li, S Zdancewic
ACM SIGPLAN Notices 40 (1), 158-170, 2005
2002005
Formalizing the LLVM intermediate representation for verified program transformations
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
Acm sigplan notices 47 (1), 427-440, 2012
1882012
Hardbound: architectural support for spatial safety of the C programming language
J Devietti, C Blundell, MMK Martin, S Zdancewic
ACM SIGARCH Computer Architecture News 36 (1), 103-114, 2008
1752008
A theory of aspects
D Walker, S Zdancewic, J Ligatti
ACM SIGPLAN Notices 38 (9), 127-139, 2003
1662003
Secure program partitioning
S Zdancewic, L Zheng, N Nystrom, AC Myers
ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002
1642002
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
1432001
Enforcing robust declassification
AC Myers, A Sabelfeld, S Zdancewic
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 172-186, 2004
1352004
Programming languages for information security
SA Zdancewic, A Myers
Cornell University, 2002
1332002
Challenges for information-flow security
S Zdancewic
Proceedings of the 1st International Workshop on the Programming Language …, 2004
1312004
Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives
P Li, S Zdancewic
Acm sigplan notices 42 (6), 189-199, 2007
1202007
Using replication and partitioning to build secure distributed systems
L Zheng, S Chong, AC Myers, S Zdancewic
2003 Symposium on Security and Privacy, 2003., 236-250, 2003
1172003
Aura: A programming language for authorization and audit
L Jia, JA Vaughan, K Mazurak, J Zhao, L Zarko, J Schorr, S Zdancewic
ACM Sigplan Notices 43 (9), 27-38, 2008
1152008
The system can't perform the operation now. Try again later.
Articles 1–20