Lantian Zheng

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Security Analysis

Fault Tolerance

Language Processing

Identity Management

Top Venues

Publications

Lantian Zheng, Andrew C. Myers
A Language-Based Approach to Secure Quorum Replication. PLAS@ECOOP (2014)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
Building secure web applications with automatic partitioning. Commun. ACM 52 (2) (2009)
Lantian Zheng, Andrew C. Myers
Securing nonintrusive web encryption through information flow. PLAS (2008)
Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng
Secure web application via automatic partitioning. SOSP (2007)
Lantian Zheng, Andrew C. Myers
Dynamic security labels and static information flow control. Int. J. Inf. Sec. 6 (2-3) (2007)
Lantian Zheng, Andrew C. Myers
End-to-End Availability Policies and Noninterference. CSFW (2005)
Lantian Zheng, Andrew C. Myers
Dynamic Security Labels and Noninterference (Extended Abstract). Formal Aspects in Security and Trust (2004)
Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic
Using Replication and Partitioning to Build Secure Distributed Systems. IEEE Symposium on Security and Privacy (2003)
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers
Secure program partitioning. ACM Trans. Comput. Syst. 20 (3) (2002)
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers
Untrusted Hosts and Confidentiality: Secure Program Partitioning. SOSP (2001)