Verifiable timestamping of data objects, and applications
US Patent #8312284, November 2012. Lantian Zheng
US Patent #8286227, October 2012. Lantian Zheng
Notification of event by mobile communications device using radio
US Patent #8280451, October 2012. Lantian Zheng, Zhi Weng
US Patent #8150429, April 2012. Lantian Zheng
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
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.