default search action
Limin Jia 0001
贾丽敏
Person information
- affiliation: Carnegie Mellon University, PA, USA
- unicode name: 贾丽敏
Other persons with the same name
- Limin Jia — disambiguation page
- Limin Jia 0002
— Beijing Jiaotong University, State Key Laboratory of Rail Traffic Control and Safety, China
- Limin Jia 0003 — Hebei Institute of Regional Geological Survey, Langfang, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j12]Yoshiki Takashima
Crabtree: Rust API Test Synthesis Guided by Coverage and Type. Proc. ACM Program. Lang. 8(OOPSLA2): 618-647 (2024) - [j11]Mafalda Ferreira
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs. Proc. ACM Program. Lang. 8(PLDI): 417-441 (2024) - [c74]Zichao Zhang, Limin Jia
ProInspector: Uncovering Logical Bugs in Protocol Implementations. EuroS&P 2024: 617-632 - [c73]Twain Byrnes
Automatically Enforcing Rust Trait Properties. VMCAI (2) 2024: 210-223 - 2023
- [j10]Milijana Surbatovich
A Type System for Safe Intermittent Computing. Proc. ACM Program. Lang. 7(PLDI): 736-760 (2023) - [c72]Eduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus
Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection. CAIN 2023: 102-103 - [c71]McKenna McCall
Tainted Secure Multi-Execution to Restrict Attacker Influence. CCS 2023: 1732-1745 - [c70]Farzaneh Derakhshan
Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers. CSF 2023: 324-339 - [c69]Farzaneh Derakhshan
Modal Crash Types for Intermittent Computing. ESOP 2023: 168-196 - [c68]Darion Cassel, Wai Tuck Wong, Limin Jia
NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs. EuroS&P 2023: 1101-1127 - [c67]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: 301-320 - [i10]Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson
Transfer Attacks and Defenses for Large Language Models on Coding Tasks. CoRR abs/2311.13445 (2023) - 2022
- [j9]Hannah Gommerstadt, Limin Jia
Session-typed concurrent contracts. J. Log. Algebraic Methods Program. 124: 100731 (2022) - [j8]Darion Cassel, Su-Chin Lin, Alessio Buraggina, William Wang, Andrew Zhang, Lujo Bauer
OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers. Proc. Priv. Enhancing Technol. 2022(1): 227-252 (2022) - [c66]McKenna McCall, Abhishek Bichhawat, Limin Jia
Compositional Information Flow Monitoring for Reactive Programs. EuroS&P 2022: 467-486 - [c65]Su-Chin Lin, Kai-Hsiang Chou, Yen Chen, Hsu-Chun Hsiao, Darion Cassel, Lujo Bauer
Investigating Advertisers' Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists. WWW 2022: 576-587 - 2021
- [c64]Abhishek Bichhawat, McKenna McCall, Limin Jia
Gradual Security Types and Gradual Guarantees. CSF 2021: 1-16 - [c63]Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia
Learning Assumptions for Verifying Cryptographic Protocols Compositionally. FACS 2021: 3-23 - [c62]Gabriel Ferreira, Limin Jia
Containing Malicious Package Updates in npm with a Lightweight Permission System. ICSE 2021: 1334-1346 - [c61]Farzaneh Derakhshan
Session Logical Relations for Noninterference. LICS 2021: 1-14 - [c60]Milijana Surbatovich
Automatically enforcing fresh and consistent inputs in intermittent systems. PLDI 2021: 851-866 - [c59]Yoshiki Takashima, Ruben Martins, Limin Jia
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. PLDI 2021: 899-913 - [c58]Miao Yu, Virgil D. Gligor, Limin Jia
An I/O Separation Model for Formal Verification of Kernel Implementations. SP 2021: 572-589 - [c57]Han Zhang
Netter: Probabilistic, Stateful Network Models. VMCAI 2021: 486-508 - [c56]William Melicher, Clement Fung
Towards a Lightweight, Hybrid Approach for Detecting DOM XSS Vulnerabilities with Machine Learning. WWW 2021: 2684-2695 - [i9]Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner:
Containing Malicious Package Updates in npm with a Lightweight Permission System. CoRR abs/2103.05769 (2021) - [i8]Milijana Surbatovich, Limin Jia
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems. CoRR abs/2104.04616 (2021) - [i7]Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
Session Logical Relations for Noninterference. CoRR abs/2104.14094 (2021) - 2020
- [j7]Milijana Surbatovich
Towards a formal foundation of intermittent computing. Proc. ACM Program. Lang. 4(OOPSLA): 163:1-163:31 (2020) - [c55]Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia
Automating Compositional Analysis of Authentication Protocols. FMCAD 2020: 113-118 - [c54]Arthur Azevedo de Amorim, Matt Fredrikson
Reconciling noninterference and gradual typing. LICS 2020: 116-129 - [c53]Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar:
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. NSDI 2020: 181-200 - [c52]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: 505-529 - [i6]Abhishek Bichhawat, McKenna McCall, Limin Jia
First-order Gradual Information Flow Types with Gradual Guarantees. CoRR abs/2003.12819 (2020) - [i5]Milijana Surbatovich, Limin Jia
Towards a Formal Foundation of Intermittent Computing. CoRR abs/2007.15126 (2020)
2010 – 2019
- 2019
- [j6]Milijana Surbatovich
I/O dependent idempotence bugs in intermittent systems. Proc. ACM Program. Lang. 3(OOPSLA): 183:1-183:31 (2019) - [c51]Darion Cassel, Yan Huang, Limin Jia
Uncovering Information Flow Policy Violations in C Programs (Extended Abstract). ESORICS (2) 2019: 26-46 - [c50]Kalil Anderson Garrett, Gabriel Ferreira, Limin Jia
Detecting suspicious package updates. ICSE (NIER) 2019: 13-16 - [i4]Darion Cassel, Yan Huang, Limin Jia
Uncovering Information Flow Policy Violations in C Programs. CoRR abs/1907.01727 (2019) - 2018
- [j5]Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo
Data Center Diagnostics with Network Provenance. IEEE Data Eng. Bull. 41(1): 74-85 (2018) - [c49]Darion Cassel, Yan Huang, Limin Jia
FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C. CCS 2018: 2207-2209 - [c48]McKenna McCall, Hengrun Zhang, Limin Jia
Knowledge-Based Security of Dynamic Secrets for Reactive Programs. CSF 2018: 175-188 - [c47]Hannah Gommerstadt, Limin Jia
Session-Typed Concurrent Contracts. ESOP 2018: 771-798 - [c46]William Melicher, Anupam Das, Mahmood Sharif, Lujo Bauer, Limin Jia:
Riding out DOMsday: Towards Detecting and Preventing DOM Cross-Site Scripting. NDSS 2018 - [c45]Yifei Yuan, Sanjay Chandrasekaran, Limin Jia, Vyas Sekar:
Efficient and Correct Test Scheduling for Ensembles of Network Policies. NSDI 2018: 437-452 - 2017
- [c44]McKenna McCall, Lay Kuan Loh, Limin Jia
A Sequent Calculus for Counterfactual Reasoning. PLAS@CCS 2017: 91-106 - [c43]Willard Rafnsson, Limin Jia
Timing-Sensitive Noninterference through Composition. POST 2017: 3-25 - [c42]Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia
Distributed Provenance Compression. SIGMOD Conference 2017: 203-218 - [c41]Milijana Surbatovich
Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes. WWW 2017: 1501-1510 - 2016
- [c40]Limin Jia
Monitors and blame assignment for higher-order session types. POPL 2016: 582-594 - [c39]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: 87-104 - 2015
- [j4]Chen Chen, Limin Jia
A Program Logic for Verifying Secure Routing Protocols. Log. Methods Comput. Sci. 11(4) (2015) - [c38]Omar Chowdhury, Deepak Garg, Limin Jia
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CCS 2015: 1130-1143 - [c37]Limin Jia
A Logic of Programs with Interface-Confined Code. CSF 2015: 512-525 - [c36]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 - [c35]Chen Chen, Lay Kuan Loh, Limin Jia
Automated verification of safety properties of declarative networking programs. PPDP 2015: 79-90 - [e1]Michael Clarkson, Limin Jia:
Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2015, Prague, Czech Republic, July 4-10, 2015. ACM 2015, ISBN 978-1-4503-3661-1 [contents] - [i3]Limin Jia, Shayak Sen, Deepak Garg, Anupam Datta:
System M: A Program Logic for Code Sandboxing and Identification. CoRR abs/1501.05673 (2015) - [i2]Omar Chowdhury, Deepak Garg, Limin Jia
Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. CoRR abs/1508.02448 (2015) - 2014
- [c34]Omar Chowdhury, Limin Jia
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. CAV 2014: 131-149 - [c33]Fuyuan Zhang, Limin Jia
Mechanized Network Origin and Path Authenticity Proofs. CCS 2014: 346-357 - [c32]Lujo Bauer
Analyzing the dangers posed by Chrome extensions. CNS 2014: 184-192 - [c31]Se Eun Oh, Ji Young Chun, Limin Jia
Privacy-preserving audit for broker-based health information exchange. CODASPY 2014: 313-320 - [c30]Chen Chen, Limin Jia
A Program Logic for Verifying Secure Routing Protocols. FORTE 2014: 117-132 - [c29]Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo
Proof-based Verification of Software Defined Networks. ONS 2014 - [c28]William Klieber, Lori Flynn, Amar Bhosale, Limin Jia
Android taint flow analysis for app sets. SOAP@PLDI 2014: 5:1-5:6 - [c27]Tiffany Hyun-Jin Kim, Cristina Basescu, Limin Jia
Lightweight source authentication and path validation. SIGCOMM 2014: 271-282 - [c26]Arunesh Sinha
Continuous Tamper-Proof Logging Using TPM 2.0. TRUST 2014: 19-36 - 2013
- [c25]Limin Jia
Run-Time Enforcement of Information-Flow Properties on Android - (Extended Abstract). ESORICS 2013: 775-792 - [c24]Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne
Privacy promises that can be kept: a policy analysis method with application to the HIPAA privacy rule. SACMAT 2013: 3-14 - [c23]Amit Vasudevan, Sagar Chaki, Limin Jia
Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. IEEE Symposium on Security and Privacy 2013: 430-444 - 2012
- [j3]Vivek Nigam, Limin Jia
Maintaining distributed logic programs incrementally. Comput. Lang. Syst. Struct. 38(2): 158-180 (2012) - [j2]Anduo Wang, Limin Jia
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012) - [c22]Elli Fragkaki, Lujo Bauer
Modeling and Enhancing Android's Permission System. ESORICS 2012: 1-18 - [c21]Chen Chen, Limin Jia
Reduction-based security analysis of Internet routing protocols. ICNP 2012: 1-6 - 2011
- [j1]Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia
On Adversary Models and Compositional Security. IEEE Secur. Priv. 9(3): 26-32 (2011) - [c20]Deepak Garg, Limin Jia
Policy auditing over incomplete logs: theory, implementation and applications. CCS 2011: 151-162 - [c19]Anduo Wang, Carolyn L. Talcott, Limin Jia
Analyzing BGP Instances in Maude. FMOODS/FORTE 2011: 334-348 - [c18]Anupam Datta, Jeremiah Blocki
Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. ICISS 2011: 1-27 - [c17]Vivek Nigam, Limin Jia
Maintaining distributed logic programs incrementally. PPDP 2011: 125-136 - [c16]Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia
FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM 2011: 440-441 - [i1]Deepak Garg, Limin Jia, Anupam Datta:
A Logical Method for Policy Enforcement over Evolving Audit Logs. CoRR abs/1102.2521 (2011) - 2010
- [c15]Lujo Bauer
Constraining Credential Usage in Logic-Based Access Control. CSF 2010: 154-168 - [c14]Vivek Nigam, Limin Jia
An Operational Semantics for Network Datalog. LAM@LICS 2010: 68-81 - [c13]Limin Jia
Dependent types and program equivalence. POPL 2010: 275-286 - [c12]Henry DeYoung, Deepak Garg, Limin Jia
Experiences in the logical specification of the HIPAA and GLBA privacy laws. WPES 2010: 73-82
2000 – 2009
- 2009
- [c11]Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo
Formally Verifiable Networking. HotNets 2009 - [c10]Limin Jia
Encoding information flow in Aura. PLAS 2009: 17-29 - [c9]Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia
Language support for processing distributed ad hoc data. PPDP 2009: 243-254 - [c8]Lujo Bauer
xDomain: cross-border proofs of access. SACMAT 2009: 43-52 - 2008
- [c7]Jeffrey A. Vaughan, Limin Jia
Evidence-Based Audit. CSF 2008: 177-191 - [c6]Limin Jia
AURA: a programming language for authorization and audit. ICFP 2008: 27-38 - 2006
- [c5]Limin Jia
ILC: A Foundation for Automated Reasoning About Pointer Programs. ESOP 2006: 131-145 - [c4]Frances Perry, Limin Jia
Expressing heap-shape contracts in linear logic. GPCE 2006: 101-110 - 2005
- [c3]Limin Jia
Certifying Compilation for a Language with Stack Allocation. LICS 2005: 407-416 - 2004
- [c2]Limin Jia
Modal Proofs as Distributed Programs (Extended Abstract). ESOP 2004: 219-233 - 2003
- [c1]Amal J. Ahmed, Limin Jia
Reasoning about Hierarchical Storage. LICS 2003: 33-44
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: