Chapter Automatically Enforcing Rust Trait Properties 2024 • Lecture Notes in Computer Science • 14500:210-223 Byrnes T, Takashima Y, Jia L
Journal Article Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs 2024 • Proceedings of the ACM on Programming Languages • 8(PLDI): Ferreira M, Monteiro M, Brito T, Coimbra ME, Santos N, Jia L, Fragoso Santos J
Journal Article A Type System for Safe Intermittent Computing 2023 • Proceedings of the ACM on Programming Languages • 7(PLDI): Surbatovich M, Spargo N, Jia L, Lucia B
Chapter Modal Crash Types for Intermittent Computing 2023 • Lecture Notes in Computer Science • 13990 LNCS:168-196 Derakhshan F, Dotzel M, Surbatovich M, Jia L
Conference NODEMEDIC: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs 2023 • 2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P • 1101-1127 Cassel D, Wong WT, Jia L
Conference Tainted Secure Multi-Execution to Restrict Attacker Influence 2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 1732-1745 McCall M, Bichhawat A, Jia L
Conference Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection 2023 • 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN • 102-103 Pinconschi E, Reis S, Zhang C, Abreu R, Erdogmus H, Pasareanu CS, Jia L
Conference Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers 2023 • Proceedings - IEEE Computer Security Foundations Symposium • 324-339 Derakhshan F, Zhang Z, Vasudevan A, Jia L
Conference Towards Usable Security Analysis Tools for Trigger-Action Programming 2023 • PROCEEDINGS OF THE NINETEENTH SYMPOSIUM ON USABLE PRIVACY AND SECURITY, SOUPS 2023 • 301-320 McCall M, Zeng E, Shezan FH, Yang M, Bauer L, Bichhawat A, Cobb C, Jia L, Tian Y
Conference Compositional Information Flow Monitoring for Reactive Programs 2022 • 2022 IEEE 7TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2022) • 467-486 McCall M, Bichhawat A, Jia L
Conference Investigating Advertisers' Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists 2022 • PROCEEDINGS OF THE ACM WEB CONFERENCE 2022 (WWW'22) • 576-587 Lin S-C, Chou K-H, Chen Y, Hsiao H-C, Cassel D, Bauer L, Jia L
Journal Article OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers 2022 • Proceedings on Privacy Enhancing Technologies • 2022(1):227-252 Cassel D, Lin S-C, Buraggina A, Wang W, Zhang A, Bauer L, Hsiao H-C, Jia L, Libert T
Journal Article Session-typed concurrent contracts 2022 • Journal of Logical and Algebraic Methods in Programming • 124: Gommerstadt H, Jia L, Pfenning F
Conference An I/O separation model for formal verification of kernel implementations 2021 • IEEE Symposium on Security and Privacy: Proceedings • 2021-May:572-589 Yu M, Gligor V, Jia L
Conference Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 2021 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 851-866 Surbatovich M, Jia L, Lucia B
Preprint Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems 2021 Surbatovich M, Jia L, Lucia B
Conference Containing Malicious Package Updates in <i>npm</i> with a Lightweight Permission System 2021 • Proceedings - International Conference on Software Engineering • 1334-1346 Ferreira G, Jia L, Sunshine J, Kastner C
Preprint Containing Malicious Package Updates in npm with a Lightweight Permission System 2021 Ferreira G, Jia L, Sunshine J, Kästner C
Conference Gradual Security Types and Gradual Guarantees 2021 • Proceedings - IEEE Computer Security Foundations Symposium • 49-64 Bichhawat A, McCall M, Jia L
Chapter Learning Assumptions for Verifying Cryptographic Protocols Compositionally 2021 • Lecture Notes in Computer Science • 13077:3-23 Zhang Z, de Amorim AA, Jia L, Pasareanu C
Conference Message from the Program Chairs 2021 • Proceedings - 2021 IEEE Secure Development Conference, SecDev 2021 • ix Jia L, Piessens F
Chapter Netter: Probabilistic, Stateful Network Models 2021 • Lecture Notes in Computer Science • 12597:486-508 Zhang H, Zhang C, de Amorim AA, Agarwal Y, Fredrikson M, Jia L
Conference Session Logical Relations for Noninterference 2021 • Proceedings - Symposium on Logic in Computer Science Derakhshan F, Balzer S, Jia L
Conference SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis 2021 • Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) • 899-913 Takashima Y, Martins R, Jia L, Pasareanu CS
