I am a postdoctoral researcher of the CS department of Cornell University, working with Professor Andrew Myers on language-based security. My research interests are in computer security, distributed systems, and programming language.
Dynamic Security Labels and Static Information Flow Control
International Journal of Information Security, to appear. Springer.
Lantian Zheng and Andrew C. Myers
End-to-end Availability Policies and Noninterference
In Proceedings of the 18th IEEE Computer Security Foundation
Workshop (CSFW'05), June 2005. Lantian Zheng and Andrew C. Myers.
[PDF]
Dynamic Security Labels and Noninterference
In Proceedings of the second Workshop on Formal Aspects in Security and
Trust (FAST2004), Auguest 2004.
Lantian Zheng and Andrew C. Myers.
[PDF]
Using Replication and Partitioning to Build Secure Distributed
Systems
IEEE Symposium on Security and Privacy, Oakland, California, May 2003.
Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic.
[PDF]
Secure Program Partitioning
ACM Transactions on Computer Systems, August 2002.
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,
Andrew C. Myers.
Untrusted Hosts and Confidentiality: Secure Program Partitioning
Proceedings of the 18th ACM Symposium on Operating Systems
Principles (SOSP), Banff, Canada, pages 1–14, October 2001.
Award paper. Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom,
Andrew C. Myers. [PDF]
Email: zlt [@] cs [.] cornell [.] edu
(GPG Key: EF8DA593)
Phone: (607) 255-4934
Office: 4139 Upson Hall