Lantian Zheng

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.

Publications

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]

Contact

Email: zlt [@] cs [.] cornell [.] edu (GPG Key: EF8DA593)
Phone: (607) 255-4934
Office: 4139 Upson Hall