57
Publications
2.2K
Citations
26
H-Index
1993
Active since
Limin Jia is an author at Carnegie Mellon University specializing in engineering, computer science, and formal verification.
Top concepts
EngineeringComputer ScienceFormal VerificationFormal MethodsVerificationSoftware AnalysisProgram AnalysisInformation SecurityData SecuritySystems Engineering
Publications per year
1993–2024
57
57
Android taint flow analysis for app sets
William Klieber, Lori Flynn, Amar Bhosale et al. · 2014 · 195 citations
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework
Amit Vasudevan, Sagar Chaki, Limin Jia et al. · 2013 · 134 citations · Full text
Some Recipes Can Do More Than Spoil Your Appetite
Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer et al. · 2017 · 127 citations · Full text
Lightweight source authentication and path validation
Tiffany Hyun‐Jin Kim, Cristina Băsescu, Limin Jia et al. · 2014 · 114 citations · Full text
Engineering, Information Security, Lightweight Source Authentication +17
Policy auditing over incomplete logs
Deepak Garg, Limin Jia, Anupam Datta · 2011 · 96 citations
Privacy Protection, Continuous Auditing, Incomplete Logs +29
Rows per page
1–5 of 57