| 2026 | NDSS | DOM-XSS Detection via Webpage Interaction Fuzzing and URL Component Synthesis. | Nuno Sabino, Darion Cassel, Rui Abreu, Pedro Ado, Lujo Bauer, Limin Jia |
| 2025 | CAIN | Random Perturbation Attack on LLMs for Code Generation. | Qiulu Peng, Chi Zhang, Ravi Mangal, Corina S. Pasareanu, Limin Jia |
| 2025 | NDSS | NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. | Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia |
| 2024 | VMCAI | Automatically Enforcing Rust Trait Properties. | Twain Byrnes, Yoshiki Takashima, Limin Jia |
| 2023 | CAIN | Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection. | Eduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu, Limin Jia |
| 2023 | CCS | Tainted Secure Multi-Execution to Restrict Attacker Influence. | McKenna McCall, Abhishek Bichhawat, Limin Jia |
| 2023 | ESOP | Modal Crash Types for Intermittent Computing. | Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia |
| 2023 | SOUPS | Towards Usable Security Analysis Tools for Trigger-Action Programming. | McKenna McCall, Eric Zeng, Faysal Hossain Shezan, Mitchell Yang, Lujo Bauer, Abhishek Bichhawat, Camille Cobb, Limin Jia, Yuan Tian |
| 2022 | WWW | Investigating Advertisers' Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists. | Su-Chin Lin, Kai-Hsiang Chou, Yen Chen, Hsu-Chun Hsiao, Darion Cassel, Lujo Bauer, Limin Jia |
| 2021 | ICSE | Containing Malicious Package Updates in npm with a Lightweight Permission System. | Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kstner |
| 2021 | IECON | Transient Stability Enhancement of Inverter-based Resources with Virtual Synchronous Generator on Active Power Control Loop. | Kongyuan Li, Peng Cheng, Limin Jia |
| 2021 | LICS | Session Logical Relations for Noninterference. | Farzaneh Derakhshan, Stephanie Balzer, Limin Jia |
| 2021 | PLDI | Automatically enforcing fresh and consistent inputs in intermittent systems. | Milijana Surbatovich, Limin Jia, Brandon Lucia |
| 2021 | PLDI | SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. | Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu |
| 2021 | WWW | Towards a Lightweight, Hybrid Approach for Detecting DOM XSS Vulnerabilities with Machine Learning. | William Melicher, Clement Fung, Lujo Bauer, Limin Jia |
| 2021 | SP | An I/O Separation Model for Formal Verification of Kernel Implementations. | Miao Yu, Virgil D. Gligor, Limin Jia |
| 2021 | VMCAI | Netter: Probabilistic, Stateful Network Models. | Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia |
| 2020 | FMCAD | Automating Compositional Analysis of Authentication Protocols. | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu |
| 2020 | LICS | Reconciling noninterference and gradual typing. | Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia |
| 2020 | NSDI | NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. | Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar |
| 2020 | SOUPS | How Risky Are Real Users' IFTTT Applets? | Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia |
| 2019 | ESORICS | Uncovering Information Flow Policy Violations in C Programs (Extended Abstract). | Darion Cassel, Yan Huang, Limin Jia |
| 2019 | ICSE | Detecting suspicious package updates. | Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kstner |
| 2018 | CCS | FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C. | Darion Cassel, Yan Huang, Limin Jia |
| 2018 | ESOP | Session-Typed Concurrent Contracts. | Hannah Gommerstadt, Limin Jia, Frank Pfenning |
| 2018 | IGARSS | A New Method for Lithological Dscrimination and Mapping by Using Aster Data in Dong Co Area, Northern Tibet. | Jianyu Liu, Zhibo Liu, Li Chen, Genhou Wang, Limin Jia |
| 2018 | NDSS | Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting. | William Melicher, Anupam Das, Mahmood Sharif, Lujo Bauer, Limin Jia |
| 2018 | NSDI | Efficient and Correct Test Scheduling for Ensembles of Network Policies. | Yifei Yuan, Sanjay Chandrasekaran, Limin Jia, Vyas Sekar |
| 2017 | CCS | A Sequent Calculus for Counterfactual Reasoning. | McKenna McCall, Lay Kuan Loh, Limin Jia |
| 2017 | WWW | Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes. | Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, Limin Jia |
| 2017 | SIGMOD | Distributed Provenance Compression. | Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou |
| 2016 | POPL | Monitors and blame assignment for higher-order session types. | Limin Jia, Hannah Gommerstadt, Frank Pfenning |
| 2016 | VTC | Doppler Shift Estimation for High-Speed Railway Scenario. | Tianfu Liu, Xiaoping Ma, Ruhao Zhao, Honghui Dong, Limin Jia |
| 2015 | CCS | Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. | Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta |
| 2015 | NDSS | Run-time Monitoring and Formal Analysis of Information Flows in Chromium. | Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian |
| 2015 | PPDP | Automated verification of safety properties of declarative networking programs. | Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo |
| 2015 | SEKE | Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System. | Yong Qin, Hui Ma, Miao Du, Limin Jia |
| 2014 | CAV | Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. | Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta |
| 2014 | CCS | Mechanized Network Origin and Path Authenticity Proofs. | Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig |
| 2014 | FORTE | A Program Logic for Verifying Secure Routing Protocols. | Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo |
| 2014 | PIMRC | A bandwidth allocation strategy for train-to-ground communication networks. | Yin Tian, Honghui Dong, Limin Jia, Si-Yu Li |
| 2014 | PLDI | Android taint flow analysis for app sets. | William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer |
| 2014 | SIGCOMM | Lightweight source authentication and path validation. | Tiffany Hyun-Jin Kim, Cristina Basescu, Limin Jia, Soo Bum Lee, Yih-Chun Hu, Adrian Perrig |
| 2013 | ESORICS | Run-Time Enforcement of Information-Flow Properties on Android - (Extended Abstract). | Limin Jia, Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Michael Stroucken, Kazuhide Fukushima, Shinsaku Kiyomoto, Yutaka Miyake |
| 2013 | SP | Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. | Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta |
| 2013 | SACMAT | Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. | Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne, Jared Bennatt, Anupam Datta, Limin Jia, William H. Winsborough |
| 2012 | ESORICS | Modeling and Enhancing Android's Permission System. | Elli Fragkaki, Lujo Bauer, Limin Jia, David Swasey |
| 2012 | ICNP | Reduction-based security analysis of Internet routing protocols. | Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou |
| 2011 | CCS | Policy auditing over incomplete logs: theory, implementation and applications. | Deepak Garg, Limin Jia, Anupam Datta |
| 2011 | FORTE | Analyzing BGP Instances in Maude. | Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | ICISS | Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. | Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha |
| 2011 | PPDP | Maintaining distributed logic programs incrementally. | Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | SIGCOMM | FSR: formal analysis and implementation toolkit for safe inter-domain routing. | Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford |
| 2010 | LICS | An Operational Semantics for Network Datalog. | Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov |
| 2010 | POPL | Dependent types and program equivalence. | Limin Jia, Jianzhou Zhao, Vilhelm Sjberg, Stephanie Weirich |
| 2009 | HOTNETS | Formally Verifiable Networking. | Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu |
| 2009 | ICNC | An Experiment Study on Level of Service for the Regional Road Traffic. | Honghui Dong, Limin Jia, Xiaoliang Sun, Yong Qin, Chenxi Li |
| 2009 | PLDI | Encoding information flow in Aura. | Limin Jia, Steve Zdancewic |
| 2009 | PPDP | Language support for processing distributed ad hoc data. | Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker |
| 2009 | SACMAT | xDomain: cross-border proofs of access. | Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey |
| 2008 | ICFP | AURA: a programming language for authorization and audit. | Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
| 2008 | SMC | On conceptual and methodological issues in control of complex systems. | Zundong Zhang, Limin Jia, Yuanyuan Chai, Min Guo |
| 2007 | IKE | Application Research on Track Safety Assessment Based on Artificial Neural Network. | Guoqiang Cai, Limin Jia, Ye Zhang, Yuquan Jia |
| 2006 | ESOP | ILC: A Foundation for Automated Reasoning About Pointer Programs. | Limin Jia, David Walker |
| 2006 | GPCE | Expressing heap-shape contracts in linear logic. | Frances Perry, Limin Jia, David Walker |
| 2006 | ISDA | Construction of Fuzzy Classification System Based on Multi-objective Genetic Algorithm. | Zongyi Xing, Yuan-long Hou, Zhongzhi Tong, Limin Jia |
| 2005 | ISADS | Research on train group operation model in RITS. | Yangdong Ye, Zundong Zhang, Limin Jia, Honghua Dai |
| 2005 | KES | A Study of Train Group Operation Multi-agent Model Oriented to RITS. | Yangdong Ye, Zundong Zhang, Honghua Dai, Limin Jia |
| 2005 | LICS | Certifying Compilation for a Language with Stack Allocation. | Limin Jia, Frances Spalding, David Walker, Neal Glew |
| 2004 | ESOP | Modal Proofs as Distributed Programs (Extended Abstract). | Limin Jia, David Walker |
| 2004 | ICARCV | Research on fuzzy modeling based on modified fuzzy clustering and its application. | Zongyi Xing, Weili Hu, Qingwei Chen, Limin Jia |
| 2004 | IKE | Predictive Analysis Method Based on Railway Ticket Data Warehouse. | Guoqiang Cai, Yangdong Ye, Xiaoyan Lv, Limin Jia |
| 2003 | ISADS | Study on Essential Characteristics of RITS. | Limin Jia, Qiuhua Jiang |
| 2003 | LICS | Reasoning about Hierarchical Storage. | Amal J. Ahmed, Limin Jia, David Walker |