Publications

• VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Vikash Singh, Darion Cassel, Nathaniel Weir, Nick Feng, Sam Bayless EMNLP 2026
• Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages Ronghao Ni, Aidan Z. H. Yang, Min-Chien Hsu, Nuno Sabino, Limin Jia, Ruben Martins, Darion Cassel, Kevin Cheang ASE 2026
• VeriCoT: Neuro-Symbolic Chain-of-Thought Validation via Logical Consistency Checks Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala ICLR 2026
• ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models Andre He, Nathaniel Weir, Kaj Bostrom, Allen Nie, Darion Cassel, Sam Bayless, Huzefa Rangwala arXiv 2026
• A Neurosymbolic Approach to Natural Language Formalization and Verification Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanović, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamarić, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao CAV 2026
• DOM-XSS Detection via Webpage Interaction Fuzzing and URL Component Synthesis Nuno Sabino, Darion Cassel, Rui Abreu, Pedro Adão, Lujo Bauer, Limin Jia NDSS 2026 · code · slides
• A Community-driven vision for a new Knowledge Resource for AI Vinay K. Chaudhri, Chaitan Baru, Brandon Bennett, Mehul Bhatt, Darion Cassel, Anthony G. Cohn, Rina Dechter, Esra Erdem, David A. Ferrucci, Kenneth D. Forbus, Gregory Gelfond, Michael R. Genesereth, Andrew S. Gordon, Benjamin N. Grosof, Gopal Gupta, Jim Hendler, Sharat Israni, Tyler R. Josephson, Patrick Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimzu, Denny Vrandecic, Mark Whiting, Michael Witbrock AI Magazine 46, 2025
• NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia NDSS 2025 · code · slides · video
• Practical End-to-End Analysis of Information Flow Security Policies Darion Cassel PhD thesis, Carnegie Mellon University, 2023
• NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs Darion Cassel, Wai Tuck Wong, Limin Jia EuroS&P 2023 · code
• OmniCrawl: Comprehensive measurement of Web tracking with real desktop and mobile browsers D. Cassel, S.-C. Lin, A. Buraggina, W. Wang, A. Zhang, L. Bauer, H.-C. Hsiao, L. Jia, and T. Libert PETS 2022 · Best Artifact Award · code
• Investigating Advertisers’ Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists S.-C. Lin, K.-H. Chou, Y. Chen, H.-C. Hsiao, D. Cassel, L. Bauer, and L. Jia WWW 2022 · code
• Uncovering Information Flow Policy Violations in C Programs Darion Cassel, Yan Huang, and Limin Jia ESORICS 2019 · code
• NanoPI: Extreme-Scale Actively-Secure Multi-Party Computation Ruiyu Zhu, Darion Cassel, Amr Sabry, and Yan Huang CCS 2018 · code
• Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries Ruiyu Zhu, Yan Huang, and Darion Cassel CCS 2017 · code