Limin Jia

According to our database, Limin Jia authored at least 85 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Automatically Enforcing Rust Trait Properties.

Twain Byrnes, Yoshiki Takashima, Limin Jia

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

A Type System for Safe Intermittent Computing.

Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia

Proc. ACM Program. Lang., 2023

Transfer Attacks and Defenses for Large Language Models on Coding Tasks.

Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu

CoRR, 2023

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

Proceedings of the Nineteenth Symposium on Usable Privacy and Security, 2023

NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs.

Darion Cassel, Wai Tuck Wong, Limin Jia

Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

Modal Crash Types for Intermittent Computing.

Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia

Proceedings of the Programming Languages and Systems, 2023

Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers.

Farzaneh Derakhshan, Zichao Zhang, Amit Vasudevan, Limin Jia

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

Tainted Secure Multi-Execution to Restrict Attacker Influence.

McKenna McCall, Abhishek Bichhawat, Limin Jia

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

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

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022

OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers.

Darion Cassel, Su-Chin Lin, Alessio Buraggina, William Wang, Andrew Zhang, Lujo Bauer, Hsu-Chun Hsiao, Limin Jia, Timothy Libert

Proc. Priv. Enhancing Technol., 2022

Session-typed concurrent contracts.

Hannah Gommerstadt, Limin Jia, Frank Pfenning

J. Log. Algebraic Methods Program., 2022

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

Proceedings of the WWW '22: The ACM Web Conference 2022, Virtual Event, Lyon, France, April 25, 2022

Compositional Information Flow Monitoring for Reactive Programs.

McKenna McCall, Abhishek Bichhawat, Limin Jia

Proceedings of the 7th IEEE European Symposium on Security and Privacy, 2022

2021

Towards a Lightweight, Hybrid Approach for Detecting DOM XSS Vulnerabilities with Machine Learning.

William Melicher, Clement Fung, Lujo Bauer, Limin Jia

Proceedings of the WWW '21: The Web Conference 2021, 2021

Netter: Probabilistic, Stateful Network Models.

Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson, Limin Jia

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

An I/O Separation Model for Formal Verification of Kernel Implementations.

Miao Yu, Virgil D. Gligor, Limin Jia

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.

Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Automatically enforcing fresh and consistent inputs in intermittent systems.

Milijana Surbatovich, Limin Jia, Brandon Lucia

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Session Logical Relations for Noninterference.

Farzaneh Derakhshan, Stephanie Balzer, Limin Jia

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Containing Malicious Package Updates in npm with a Lightweight Permission System.

Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Learning Assumptions for Verifying Cryptographic Protocols Compositionally.

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Gradual Security Types and Gradual Guarantees.

Abhishek Bichhawat, McKenna McCall, Limin Jia

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Towards a formal foundation of intermittent computing.

Milijana Surbatovich, Brandon Lucia, Limin Jia

Proc. ACM Program. Lang., 2020

First-order Gradual Information Flow Types with Gradual Guarantees.

Abhishek Bichhawat, McKenna McCall, Limin Jia

CoRR, 2020

How Risky Are Real Users' IFTTT Applets?

Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia

Proceedings of the Sixteenth Symposium on Usable Privacy and Security, 2020

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.

Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Reconciling noninterference and gradual typing.

Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Automating Compositional Analysis of Authentication Protocols.

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

I/O dependent idempotence bugs in intermittent systems.

Milijana Surbatovich, Limin Jia, Brandon Lucia

Proc. ACM Program. Lang., 2019

Uncovering Information Flow Policy Violations in C Programs.

Darion Cassel, Yan Huang, Limin Jia

CoRR, 2019

Detecting suspicious package updates.

Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner

Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, 2019

Uncovering Information Flow Policy Violations in C Programs (Extended Abstract).

Darion Cassel, Yan Huang, Limin Jia

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

Data Center Diagnostics with Network Provenance.

Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou

IEEE Data Eng. Bull., 2018

Efficient and Correct Test Scheduling for Ensembles of Network Policies.

Yifei Yuan, Sanjay Chandrasekaran, Limin Jia, Vyas Sekar

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting.

William Melicher, Anupam Das, Mahmood Sharif, Lujo Bauer, Limin Jia

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Knowledge-Based Security of Dynamic Secrets for Reactive Programs.

McKenna McCall, Hengrun Zhang, Limin Jia

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C.

Darion Cassel, Yan Huang, Limin Jia

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

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

Proceedings of the 26th International Conference on World Wide Web, 2017

Distributed Provenance Compression.

Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Timing-Sensitive Noninterference through Composition.

Willard Rafnsson, Limin Jia, Lujo Bauer

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

A Sequent Calculus for Counterfactual Reasoning.

McKenna McCall, Lay Kuan Loh, Limin Jia

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2016

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.

Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta

Proceedings of the 25th USENIX Security Symposium, 2016

Monitors and blame assignment for higher-order session types.

Limin Jia, Hannah Gommerstadt, Frank Pfenning

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

System M: A Program Logic for Code Sandboxing and Identification.

Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta

CoRR, 2015

A Program Logic for Verifying Secure Routing Protocols.

Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo

Log. Methods Comput. Sci., 2015

Automated verification of safety properties of declarative networking programs.

Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Run-time Monitoring and Formal Analysis of Information Flows in Chromium.

Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Michael Stroucken, Yuan Tian

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

A Logic of Programs with Interface-Confined Code.

Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits.

Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Continuous Tamper-Proof Logging Using TPM 2.0.

Arunesh Sinha, Limin Jia, Paul England, Jacob R. Lorch

Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014

Lightweight source authentication and path validation.

Tiffany Hyun-Jin Kim, Cristina Basescu, Limin Jia, Soo Bum Lee, Yih-Chun Hu, Adrian Perrig

Proceedings of the ACM SIGCOMM 2014 Conference, 2014

Android taint flow analysis for app sets.

William Klieber, Lori Flynn, Amar Bhosale, Limin Jia, Lujo Bauer

Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014

Proof-based Verification of Software Defined Networks.

Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo

Proceedings of the Open Networking Summit 2014 - Research Track, 2014

Privacy-preserving audit for broker-based health information exchange.

Se Eun Oh, Ji Young Chun, Limin Jia, Deepak Garg, Carl A. Gunter, Anupam Datta

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

Analyzing the dangers posed by Chrome extensions.

Lujo Bauer, Shaoying Cai, Limin Jia, Timothy Passaro, Yuan Tian

Proceedings of the IEEE Conference on Communications and Network Security, 2014

Mechanized Network Origin and Path Authenticity Proofs.

Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies.

Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework.

Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

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

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

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

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

FSR: formal analysis and implementation toolkit for safe interdomain routing.

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott

IEEE/ACM Trans. Netw., 2012

Maintaining distributed logic programs incrementally.

Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov

Comput. Lang. Syst. Struct., 2012

Reduction-based security analysis of Internet routing protocols.

Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Modeling and Enhancing Android's Permission System.

Elli Fragkaki, Lujo Bauer, Limin Jia, David Swasey

Proceedings of the Computer Security - ESORICS 2012, 2012

2011

On Adversary Models and Compositional Security.

Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar

IEEE Secur. Priv., 2011

A Logical Method for Policy Enforcement over Evolving Audit Logs

Deepak Garg, Limin Jia, Anupam Datta

CoRR, 2011

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

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

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

Proceedings of the Information Systems Security - 7th International Conference, 2011

Analyzing BGP Instances in Maude.

Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov

Proceedings of the Formal Techniques for Distributed Systems, 2011

Policy auditing over incomplete logs: theory, implementation and applications.

Deepak Garg, Limin Jia, Anupam Datta

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Experiences in the logical specification of the HIPAA and GLBA privacy laws.

Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Anupam Datta

Proceedings of the 2010 ACM Workshop on Privacy in the Electronic Society, 2010

Dependent types and program equivalence.

Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

An Operational Semantics for Network Datalog.

Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

Constraining Credential Usage in Logic-Based Access Control.

Lujo Bauer, Limin Jia, Divya Sharma

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

xDomain: cross-border proofs of access.

Lujo Bauer, Limin Jia, Michael K. Reiter, David Swasey

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

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

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Encoding information flow in Aura.

Limin Jia, Steve Zdancewic

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Formally Verifiable Networking.

Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu

Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

2008

AURA: a programming language for authorization and audit.

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Evidence-Based Audit.

Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve Zdancewic

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2006

Expressing heap-shape contracts in linear logic.

Frances Perry, Limin Jia, David Walker

Proceedings of the Generative Programming and Component Engineering, 2006

ILC: A Foundation for Automated Reasoning About Pointer Programs.

Limin Jia, David Walker

Proceedings of the Programming Languages and Systems, 2006

2005

Certifying Compilation for a Language with Stack Allocation.

Limin Jia, Frances Spalding, David Walker, Neal Glew

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Modal Proofs as Distributed Programs (Extended Abstract).

Limin Jia, David Walker

Proceedings of the Programming Languages and Systems, 2004

2003

Reasoning about Hierarchical Storage.

Amal J. Ahmed, Limin Jia, David Walker

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003