Lantian Zheng

According to our database, Lantian Zheng authored at least 11 papers between 2001 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

A Language-Based Approach to Secure Quorum Replication.

Lantian Zheng, Andrew C. Myers

Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014

2009

Building secure web applications with automatic partitioning.

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng

Commun. ACM, 2009

2008

Securing nonintrusive web encryption through information flow.

Lantian Zheng, Andrew C. Myers

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

2007

Making Distributed Computation Secure by Construction.

Lantian Zheng

PhD thesis, 2007

Dynamic security labels and static information flow control.

Lantian Zheng, Andrew C. Myers

Int. J. Inf. Sec., 2007

Secure web application via automatic partitioning.

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

2005

End-to-End Availability Policies and Noninterference.

Lantian Zheng, Andrew C. Myers

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Dynamic Security Labels and Noninterference (Extended Abstract).

Lantian Zheng, Andrew C. Myers

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

2003

Using Replication and Partitioning to Build Secure Distributed Systems.

Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

2002

Secure program partitioning.

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers

ACM Trans. Comput. Syst., 2002

2001

Untrusted Hosts and Confidentiality: Secure Program Partitioning.

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001