2016
-
Distributed Provenance Compression
Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
To appear in SIGMOD, May 2017.
-
A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou and Boon Thau Loo
Logical Methods in Computer Science, Volume 11, Issue 4, August 2016.
2015
2014
-
A Program Logic for Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou and Boon Thau Loo
34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE), June 2014.