Publications by Limin Jia
Conference
Journal Article
Conference
Proof-based Verification of Software Defined Networks∗
Journal Article
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (CMU-CyLab-14-005)
Journal Article
Continuous Tamper-proof Logging using TPM2.0 (CMU-CyLab-13-008)
Conference
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
Conference
Conference
Journal Article
Check Points against Privacy Breaches in Android Applications
Journal Article
Journal Article
Design, Development, and Automated Verification of an Integrity-Protected Hypervisor