Следене
Steve Zdancewic
Steve Zdancewic
Professor of Computer and Information Science, University of Pennsylvania
Потвърден имейл адрес: cis.upenn.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
8132009
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
5132010
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
4222005
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
3392012
Observational determinism for concurrent program security
S Zdancewic, AC Myers
16th IEEE Computer Security Foundations Workshop, 2003. Proceedings., 29-43, 2003
3372003
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
3332008
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
3291999
Type-and-example-directed program synthesis
PM Osera, S Zdancewic
ACM SIGPLAN Notices 50 (6), 619-630, 2015
3192015
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
3192001
Robust Declassification.
S Zdancewic, AC Myers
csfw 1, 15-23, 2001
3152001
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
2442019
Downgrading policies and relaxed noninterference
P Li, S Zdancewic
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005
2442005
Secure program partitioning
S Zdancewic, L Zheng, N Nystrom, AC Myers
ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002
2412002
QWIRE: a core language for quantum circuits
J Paykin, R Rand, S Zdancewic
ACM SIGPLAN Notices 52 (1), 846-858, 2017
2052017
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
1932019
A theory of aspects
D Walker, S Zdancewic, J Ligatti
ACM SIGPLAN Notices 38 (9), 127-139, 2003
1732003
Programming languages for information security
SA Zdancewic
Cornell University, 2002
1732002
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
1682012
Challenges for information-flow security
S Zdancewic
Proceedings of the 1st International Workshop on the Programming Language …, 2004
1632004
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20