Limin Jia

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 51

Top Topics

Information Flow

Top Venues

Proc. ACM Program. Lang.

Publications

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