26 citations · 55 across the 11 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015★ 5 cited
A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu +3
The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done to understand and verify the formal security guarantees of proposed secure inter-do…
cs.CR2015★ 1 cited
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits
Omar Chowdhury, Deepak Garg, Limin Jia +1
Motivated by the problem of simultaneously preserving confidentiality and usability of data outsourced to third-party clouds, we present two different database encryption schemes t…
cs.CR2015
System M: A Program Logic for Code Sandboxing and Identification
Limin Jia, Shayak Sen, Deepak Garg +1
Security-sensitive applications that execute untrusted code often check the code's integrity by comparing its syntax to a known good value or sandbox the code to contain its effect…