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
Conference Towards a Lightweight, Hybrid Approach for Detecting DOM XSS Vulnerabilities with Machine Learning 2021 • PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2021 (WWW 2021) • 2684-2695 Melicher W, Fung C, Bauer L, Jia L
Journal Article Automating Compositional Analysis of Authentication Protocols 2020 • 2020 Formal Methods in Computer Aided Design (FMCAD) • 00:113-118 Zhang Z, de Amorim AA, Jia L, Păsăreanu CS
Journal Article First-order Gradual Information Flow Types with Gradual Guarantees 2020 Bichhawat A, McCall M, Jia L
Preprint First-order Gradual Information Flow Types with Gradual Guarantees 2020 Bichhawat A, McCall M, Jia L
Conference How Risky Are Real Users' IFTTT Applets? 2020 • PROCEEDINGS OF THE SIXTEENTH SYMPOSIUM ON USABLE PRIVACY AND SECURITY (SOUPS 2020) • 505-529 Cobb C, Surbatovich M, Kawakami A, Sharif M, Bauer L, Das A, Jia L
Conference Message from the Program Chairs 2020 • Proceedings - 2020 IEEE Secure Development, SecDev 2020 • 96-107 Kim T, Jia L
Conference NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification 2020 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION • 181-200 Yuan Y, Moon S-J, Uppal S, Jia L, Sekar V
Conference On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers 2020 9-14 Li K, Woo M, Jia L
Conference Reconciling noninterference and gradual typing 2020 • Proceedings - Symposium on Logic in Computer Science • 116-129 de Amorim AA, Fredrikson M, Jia L
Journal Article Towards a Forma Foundation of Intermittent Computing 2020 • Proceedings of the ACM on Programming Languages • 4: Surbatovich M, Lucia B, Jia L
Conference Detecting Suspicious Package Updates 2019 • 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2019) • 13-16 Garrett K, Ferreira G, Jia L, Sunshine J, Kastner C
Journal Article I/O Dependent Idempotence Bugs in Intermittent Systems 2019 • Proceedings of the ACM on Programming Languages • 3: Surbatovich M, Jia L, Lucia B
Conference Uncovering Information Flow Policy Violations in C Programs (Extended Abstract) 2019 • Lecture Notes in Computer Science • 11736:26-46 Cassel D, Huang Y, Jia L
Conference Efficient and Correct Test Scheduling for Ensembles of Network Policies 2018 • PROCEEDINGS OF THE 15TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'18) • 437-452 Yuan Y, Chandrasekaran S, Jia L, Sekar V
Conference Knowledge-based Security of Dynamic Secrets for Reactive Programs 2018 • Proceedings - IEEE Computer Security Foundations Symposium • 175-188 McCall M, Zhang H, Jia L
Conference POSTER: FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C 2018 • PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) • 2207-2209 Cassel D, Huang Y, Jia L
Conference Riding out DOMsday: Toward Detecting and Preventing DOM Cross-Site Scripting 2018 • 25TH ANNUAL NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM (NDSS 2018) Melicher W, Das A, Sharif M, Bauer L, Jia L
Conference Session-Typed Concurrent Contracts 2018 • Lecture Notes in Computer Science • 10801:771-798 Gommerstadt H, Jia L, Pfenning F
Conference A Sequent Calculus for Counterfactual Reasoning 2017 • PROCEEDINGS OF THE 2017 WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS' 17) • 91-106 McCall M, Loh LK, Jia L
