关注
Andrew C. Myers
Andrew C. Myers
Class of 1912 Professor of Engineering, Dept. of Computer Science, Cornell University
在 cs.cornell.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Language-based information-flow security
A Sabelfeld, AC Myers
Selected Areas in Communications, IEEE Journal on 21 (1), 5-19, 2003
28342003
JFlow: Practical mostly-static information flow control
AC Myers
ACM Symposium on Principles of Programming Languages (POPL), 228-241, 1999
15931999
Protecting privacy using the decentralized label model
AC Myers, B Liskov
ACM Transactions on Software Engineering and Methodology (TOSEM) 9 (4), 410-442, 2000
8382000
A decentralized model for information flow control
AC Myers, B Liskov
ACM Symposium on Operating Systems Principles (SOSP) 31 (5), 129-142, 1997
7861997
Civitas: Toward a secure voting system
MR Clarkson, S Chong, AC Myers
IEEE Symposium on Security and Privacy, 354-368, 2008
6372008
Polyglot: An extensible compiler framework for Java
N Nystrom, M Clarkson, AC Myers
Compiler Construction, 138-152, 2003
5532003
Secure web applications via automatic partitioning
S Chong, J Liu, AC Myers, X Qi, K Vikram, L Zheng, X Zheng
ACM Symposium on Operating Systems Principles (SOSP) 41 (6), 31-44, 2007
3602007
Parameterized types for Java
AC Myers, JA Bank, B Liskov
ACM Symposium on Principles of Programming Languages (POPL), 132-145, 1997
356*1997
Observational determinism for concurrent program security
S Zdancewic, AC Myers
16th IEEE Computer Security Foundations Workshop, 29-43, 2003
3322003
Jif: Java information flow
AC Myers, L Zheng, S Zdancewic, S Chong, N Nystrom
Software release. Located at http://www.cs.cornell.edu/jif, 2001
3192001
A hardware design language for timing-sensitive information-flow security
D Zhang, Y Wang, GE Suh, AC Myers
ASPLOS: Proc. 20th Int'l Conf. on Architectural Support for Programming …, 2015
3152015
Robust declassification
S Zdancewic, AC Myers
14th IEEE Computer Security Foundations Workshop, 15-23, 2001
3102001
A model for delimited information release
A Sabelfeld, AC Myers
Software Security-Theories and Systems: Second Mext-NSF-JSPS International …, 2004
3042004
Complete, safe information flow with decentralized labels
AC Myers, B Liskov
Security and Privacy, Proceedings 1998 IEEE Symposium on, 186-197, 1998
2681998
SIF: Enforcing confidentiality and integrity in web applications
S Chong, K Vikram, AC Myers
16th USENIX Security Symposium, 1-16, 2007
2462007
Secure program partitioning
S Zdancewic, L Zheng, N Nystrom, AC Myers
ACM Transactions on Computer Systems (TOCS) 20 (3), 283-328, 2002
2362002
Predictive black-box mitigation of timing channels
A Askarov, D Zhang, AC Myers
17th ACM Conference on Computer and Communications Security (CCS), 297-307, 2010
2172010
Safe and efficient sharing of persistent objects in Thor
B Liskov, A Adya, M Castro, M Day, S Ghemawat, R Gruber, ...
ACM SIGMOD Record 25 (2), 318-329, 1996
2111996
Fabric: A platform for secure distributed computation and storage
J Liu, MD George, K Vikram, X Qi, L Waye, AC Myers
22nd ACM Symposium on Operating Systems Principles (SOSP), 321-334, 2009
1982009
Security policies for downgrading
S Chong, AC Myers
11th ACM Conference on Computer and Communications Security, 198-209, 2004
1952004
系统目前无法执行此操作,请稍后再试。
文章 1–20