Lantian Zheng

I am currently a software engineer at Google. I received my Ph.D. in Computer Science from Cornell Univesity in January 2007. My thesis advisor was Professor Andrew Myers. My research interests are in computer security, distributed systems, and programming languages.

Patents

Secure key distribution for private communication in an unsecured communication channel
US Patent #8379857, February, 2013. Lantian Zheng

Verifiable timestamping of data objects, and applications thereof
US Patent #8312284, November 2012. Lantian Zheng

Enhanced multi-factor authentication
US Patent #8286227, October 2012. Lantian Zheng

Notification of event by mobile communications device using radio frequency transmitter
US Patent #8280451, October 2012. Lantian Zheng, Zhi Weng

Cost-effective voting
US Patent #8150429, April 2012. Lantian Zheng

Publications

Securing Nonintrusive Web Encryption through Information Flow
Proceedings of the 3rd ACM SIGPLAN Workshop on Programming Languages and Security (PLAS'08), June 2008. Lantian Zheng, Andrew C. Myers.

Secure Web Applications via Automatic Partitioning
Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), pages 31-44, October 2007. Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng. (Best paper award)

Dynamic Security Labels and Static Information Flow Control
International Journal of Information Security, 6(2-3), March 2007. Springer. Lantian Zheng, Andrew C. Myers

End-to-end Availability Policies and Noninterference
Proceedings of the 18th IEEE Computer Security Foundation Workshop (CSFW'05), June 2005. Lantian Zheng, Andrew C. Myers.

Dynamic Security Labels and Noninterference
Proceedings of the second Workshop on Formal Aspects in Security and Trust (FAST2004), Auguest 2004. Lantian Zheng, Andrew C. Myers.

Using Replication and Partitioning to Build Secure Distributed Systems
Proceedings of the 2003 IEEE Symposium on Security and Privacy, Oakland, California, May 2003, pages 236-250. Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic.

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'01), Banff, Canada, pages 1–14, October 2001. Award paper. Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers.