Limin Jia

Identifiers

• name variant Limin Jia 0.60 · backfill

Papers (5)

1. Taint-Style Vulnerability Detection and Confirmation for Node.js Packages Using LLM Agent Reasoning cs.CR · 2026 · author #3
2. Uncovering Information Flow Policy Violations in C Programs cs.CR · 2019 · author #3
3. Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits cs.CR · 2015 · author #3
4. System M: A Program Logic for Code Sandboxing and Identification cs.CR · 2015 · author #1
5. A Logical Method for Policy Enforcement over Evolving Audit Logs cs.LO · 2011 · author #2

Mentions

• 1501.05673 #1 · backfill · confidence 0.70 Limin Jia
• 1102.2521 #2 · backfill · confidence 0.70 Limin Jia

Frequent Coauthors

• Anupam Datta 3 shared papers
• Deepak Garg 3 shared papers
• Darion Cassel 1 shared papers
• Mihai Christodorescu 1 shared papers
• Omar Chowdhury 1 shared papers
• Ronghao Ni 1 shared papers
• Shayak Sen 1 shared papers
• Yan Huang 1 shared papers