Limin Jia

108 papers A* 27A 17B 6C 6Misc 4Journal 29Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
Location-Enhanced Information Flow for Home Automations.
Proc. Priv. Enhancing Technol.
McKenna McCall, Ben Weinshel, Kunlin Cai, Ying Li, Eric Zeng, Devika Manohar, Lujo Bauer, Limin Jia, Yuan Tian
2025 J jnl
Automated Exploit Generation for Node.js Packages.
Proc. ACM Program. Lang.
Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2025 J jnl
Modal Crash Types for WAR-Aware Intermittent Computing.
ACM Trans. Program. Lang. Syst.
Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia
2025 A* conf
NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities.
NDSS
Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia
2025 J jnl
On Selecting Few-Shot Examples for LLM-based Code Vulnerability Detection.
CoRR
Md Abdul Hannan, Ronghao Ni, Chi Zhang, Limin Jia, Ravi Mangal, Corina S. Pasareanu
2025 J jnl
Quantified Underapproximation via Labeled Bunches.
Proc. ACM Program. Lang.
Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A. Moreno, Mark Klein
2025 B conf
Random Perturbation Attack on LLMs for Code Generation.
CAIN
Qiulu Peng, Chi Zhang, Ravi Mangal, Corina S. Pasareanu, Limin Jia
2025 J jnl
WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction.
CoRR
Byeongjee Kang, Harsh Desai, Limin Jia, Brandon Lucia
2024 A* conf
Attacks and Defenses for Large Language Models on Coding Tasks.
ASE
Chi Zhang, Zifan Wang, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
2024 — conf
Automatically Enforcing Rust Trait Properties.
VMCAI (2)
Twain Byrnes, Yoshiki Takashima, Limin Jia
2024 J jnl
Crabtree: Rust API Test Synthesis Guided by Coverage and Type.
Proc. ACM Program. Lang.
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu
2024 J jnl
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs.
Proc. ACM Program. Lang.
Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2024 A conf
ProInspector: Uncovering Logical Bugs in Protocol Implementations.
EuroS&P
Zichao Zhang, Limin Jia, Corina S. Pasareanu
2023 J jnl
A Type System for Safe Intermittent Computing.
Proc. ACM Program. Lang.
Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia
2023 A conf
Modal Crash Types for Intermittent Computing.
ESOP
Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
2023 A conf
NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs.
EuroS&P
Darion Cassel, Wai Tuck Wong, Limin Jia
2023 A* conf
Tainted Secure Multi-Execution to Restrict Attacker Influence.
CCS
McKenna McCall, Abhishek Bichhawat, Limin Jia
2023 B conf
Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection.
CAIN
Eduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu, Limin Jia
2023 A conf
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.
CSF
Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia
2023 A conf
Towards Usable Security Analysis Tools for Trigger-Action Programming.
SOUPS
McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian
2023 J jnl
Transfer Attacks and Defenses for Large Language Models on Coding Tasks.
CoRR
Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
2022 A conf
Compositional Information Flow Monitoring for Reactive Programs.
EuroS&P
McKenna McCall, Abhishek Bichhawat, Limin Jia
2022 A* conf
Investigating Advertisers' Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists.
WWW
Su-Chin Lin, Kai-Hsiang Chou, Yen Chen, Hsu-Chun Hsiao, Darion Cassel, Lujo Bauer, Limin Jia
2022 J jnl
OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers.
Proc. Priv. Enhancing Technol.
Darion Cassel, Su-Chin Lin, Alessio Buraggina, William Wang, Andrew Zhang, Lujo Bauer, Hsu-Chun Hsiao, Limin Jia, Timothy Libert
2022 J jnl
Session-typed concurrent contracts.
J. Log. Algebraic Methods Program.
Hannah Gommerstadt, Limin Jia, Frank Pfenning
2021 A* conf
An I/O Separation Model for Formal Verification of Kernel Implementations.
SP
Miao Yu, Virgil D. Gligor, Limin Jia
2021 J jnl
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems.
CoRR
Milijana Surbatovich, Limin Jia, Brandon Lucia
2021 A* conf
Automatically enforcing fresh and consistent inputs in intermittent systems.
PLDI
Milijana Surbatovich, Limin Jia, Brandon Lucia
2021 A* conf
Containing Malicious Package Updates in npm with a Lightweight Permission System.
ICSE
Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
2021 J jnl
Containing Malicious Package Updates in npm with a Lightweight Permission System.
CoRR
Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
2021 A conf
Gradual Security Types and Gradual Guarantees.
CSF
Abhishek Bichhawat, McKenna McCall, Limin Jia
2021 — conf
Learning Assumptions for Verifying Cryptographic Protocols Compositionally.
FACS
Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu
2021 B conf
Netter: Probabilistic, Stateful Network Models.
VMCAI
Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia
2021 A* conf
Session Logical Relations for Noninterference.
LICS
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2021 J jnl
Session Logical Relations for Noninterference.
CoRR
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
2021 A* conf
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.
PLDI
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu
2021 A* conf
Towards a Lightweight, Hybrid Approach for Detecting DOM XSS Vulnerabilities with Machine Learning.
WWW
William Melicher, Clement Fung, Lujo Bauer, Limin Jia
2020 B conf
Automating Compositional Analysis of Authentication Protocols.
FMCAD
Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu
2020 J jnl
First-order Gradual Information Flow Types with Gradual Guarantees.
CoRR
Abhishek Bichhawat, McKenna McCall, Limin Jia
2020 — conf
How Risky Are Real Users' IFTTT Applets?
SOUPS @ USENIX Security Symposium
Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia
2020 Misc conf
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.
NSDI
Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar
2020 — conf
On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers.
FEAST@CCS
Kaiyuan Li, Maverick Woo, Limin Jia
2020 J jnl
On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers.
CoRR
Kaiyuan Li, Maverick Woo, Limin Jia
2020 A* conf
Reconciling noninterference and gradual typing.
LICS
Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia
2020 J jnl
Towards a Formal Foundation of Intermittent Computing.
CoRR
Milijana Surbatovich, Limin Jia, Brandon Lucia
2020 J jnl
Towards a formal foundation of intermittent computing.
Proc. ACM Program. Lang.
Milijana Surbatovich, Brandon Lucia, Limin Jia
2019 — conf
Detecting suspicious package updates.
ICSE (NIER)
Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
2019 J jnl
I/O dependent idempotence bugs in intermittent systems.
Proc. ACM Program. Lang.
Milijana Surbatovich, Limin Jia, Brandon Lucia
2019 — conf
Uncovering Information Flow Policy Violations in C Programs (Extended Abstract).
ESORICS (2)
Darion Cassel, Yan Huang, Limin Jia
2019 J jnl
Uncovering Information Flow Policy Violations in C Programs.
CoRR
Darion Cassel, Yan Huang, Limin Jia
2018 J jnl
Data Center Diagnostics with Network Provenance.
IEEE Data Eng. Bull.
Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou
2018 Misc conf
Efficient and Correct Test Scheduling for Ensembles of Network Policies.
NSDI
Yifei Yuan, Sanjay Chandrasekaran, Limin Jia, Vyas Sekar
2018 A* conf
FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C.
CCS
Darion Cassel, Yan Huang, Limin Jia
2018 A conf
Knowledge-Based Security of Dynamic Secrets for Reactive Programs.
CSF
McKenna McCall, Hengrun Zhang, Limin Jia
2018 A* conf
Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting.
NDSS
William Melicher, Anupam Das, Mahmood Sharif, Lujo Bauer, Limin Jia
2018 A conf
Session-Typed Concurrent Contracts.
ESOP
Hannah Gommerstadt, Limin Jia, Frank Pfenning
2017 — conf
A Sequent Calculus for Counterfactual Reasoning.
PLAS@CCS
McKenna McCall, Lay Kuan Loh, Limin Jia
2017 — conf
Distributed Provenance Compression.
SIGMOD Conference
Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
2017 A* conf
Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes.
WWW
Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, Limin Jia
2017 — conf
Timing-Sensitive Noninterference through Composition.
POST
Willard Rafnsson, Limin Jia, Lujo Bauer
2016 A* conf
Monitors and blame assignment for higher-order session types.
POPL
Limin Jia, Hannah Gommerstadt, Frank Pfenning
2016 A* conf
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.
USENIX Security Symposium
Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta
2015 A conf
A Logic of Programs with Interface-Confined Code.
CSF
Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
2015 J jnl
A Program Logic for Verifying Secure Routing Protocols.
Log. Methods Comput. Sci.
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
2015 C conf
Automated verification of safety properties of declarative networking programs.
PPDP
Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo
2015 A* conf
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
CCS
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015 J jnl
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.
CoRR
Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta
2015 — ed.
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015
PLAS@ECOOP
Michael Clarkson, Limin Jia
2015 A* conf
Run-time Monitoring and Formal Analysis of Information Flows in Chromium.
NDSS
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian
2015 J jnl
System M: A Program Logic for Code Sandboxing and Identification.
CoRR
Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta
2014 C conf
A Program Logic for Verifying Secure Routing Protocols.
FORTE
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo
2014 — conf
Analyzing the dangers posed by Chrome extensions.
CNS
Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Yuan Tian
2014 — conf
Android taint flow analysis for app sets.
SOAP@PLDI
William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer
2014 — conf
Continuous Tamper-Proof Logging Using TPM 2.0.
TRUST
Arunesh Sinha, Limin Jia, Paul England, Jacob R. Lorch
2014 A* conf
Lightweight source authentication and path validation.
SIGCOMM
Tiffany Hyun-Jin Kim, Cristina Basescu, Limin Jia, Soo Bum Lee, Yih-Chun Hu, Adrian Perrig
2014 A* conf
Mechanized Network Origin and Path Authenticity Proofs.
CCS
Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig
2014 — conf
Privacy-preserving audit for broker-based health information exchange.
CODASPY
Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta
2014 — conf
Proof-based Verification of Software Defined Networks.
ONS
Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo
2014 A* conf
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.
CAV
Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta
2013 A* conf
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.
IEEE Symposium on Security and Privacy
Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta
2013 C conf
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule.
SACMAT
Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough
2013 A conf
Run-Time Enforcement of Information-Flow Properties on Android - (Extended Abstract).
ESORICS
Limin Jia, Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Michael Stroucken, Kazuhide Fukushima, Shinsaku Kiyomoto, Yutaka Miyake
2012 J jnl
FSR: formal analysis and implementation toolkit for safe interdomain routing.
IEEE/ACM Trans. Netw.
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
2012 J jnl
Maintaining distributed logic programs incrementally.
Comput. Lang. Syst. Struct.
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2012 A conf
Modeling and Enhancing Android's Permission System.
ESORICS
Elli Fragkaki, Lujo Bauer, Limin Jia, David Swasey
2012 B conf
Reduction-based security analysis of Internet routing protocols.
ICNP
Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou
2011 J jnl
A Logical Method for Policy Enforcement over Evolving Audit Logs
CoRR
Deepak Garg, Limin Jia, Anupam Datta
2011 — conf
Analyzing BGP Instances in Maude.
FMOODS/FORTE
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov
2011 A* conf
FSR: formal analysis and implementation toolkit for safe inter-domain routing.
SIGCOMM
Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford
2011 C conf
Maintaining distributed logic programs incrementally.
PPDP
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
2011 J jnl
On Adversary Models and Compositional Security.
IEEE Secur. Priv.
Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar
2011 A* conf
Policy auditing over incomplete logs: theory, implementation and applications.
CCS
Deepak Garg, Limin Jia, Anupam Datta
2011 Misc conf
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms.
ICISS
Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha
2010 — conf
An Operational Semantics for Network Datalog.
LAM@LICS
Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
2010 A conf
Constraining Credential Usage in Logic-Based Access Control.
CSF
Lujo Bauer, Limin Jia, Divya Sharma
2010 A* conf
Dependent types and program equivalence.
POPL
Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich
2010 — conf
Experiences in the logical specification of the HIPAA and GLBA privacy laws.
WPES
Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta
2009 — conf
Encoding information flow in Aura.
PLAS
Limin Jia, Steve Zdancewic
2009 Misc conf
Formally Verifiable Networking.
HotNets
Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu
2009 C conf
Language support for processing distributed ad hoc data.
PPDP
Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker
2009 C conf
xDomain: cross-border proofs of access.
SACMAT
Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey
2008 A conf
AURA: a programming language for authorization and audit.
ICFP
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic
2008 A conf
Evidence-Based Audit.
CSF
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic
2006 B conf
Expressing heap-shape contracts in linear logic.
GPCE
Frances Perry, Limin Jia, David Walker
2006 A conf
ILC: A Foundation for Automated Reasoning About Pointer Programs.
ESOP
Limin Jia, David Walker
2005 A* conf
Certifying Compilation for a Language with Stack Allocation.
LICS
Limin Jia, Frances Spalding, David Walker, Neal Glew
2004 A conf
Modal Proofs as Distributed Programs (Extended Abstract).
ESOP
Limin Jia, David Walker
2003 A* conf
Reasoning about Hierarchical Storage.
LICS
Amal J. Ahmed, Limin Jia, David Walker