Darion Cassel

17 papers A* 5A 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models.
CoRR
Andre He, Nathaniel Weir, Kaj Bostrom, Allen Nie, Darion Cassel, Sam Bayless, Huzefa Rangwala
2026 J jnl
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning.
CoRR
Vikash Singh, Darion Cassel, Nathaniel Weir, Nick Feng, Sam Bayless
2025 J jnl
A Community-driven vision for a new Knowledge Resource for AI.
CoRR
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 C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
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, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2025 J jnl
A community-driven vision for a new knowledge resource for AI.
AI Mag.
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 C. Kyllonen, Yuliya Lierler, Vladimir Lifschitz, Clifton James McFate, Hande K. McGinty, Leora Morgenstern, Alessandro Oltramari, Praveen K. Paritosh, Dan Roth, Blake Shepard, Cogan Shimizu, Denny Vrandecic, Mark Whiting, Michael Witbrock
2025 J jnl
Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages.
CoRR
Ronghao Ni, Aidan Z. H. Yang, Min-Chien Hsu, Nuno Sabino, Limin Jia, Ruben Martins, Darion Cassel, Kevin Cheang
2025 A* conf
NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities.
NDSS
Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia
2025 J jnl
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks.
CoRR
Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala
2023 A conf
NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs.
EuroS&P
Darion Cassel, Wai Tuck Wong, Limin Jia
2023 — —
Practical End-to-End Analysis of Information Flow Security Policies
Darion Cassel
2022 A* conf
Investigating Advertisers' Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists.
WWW
Su-Chin Lin, Kai-Hsiang Chou, Yen Chen, Hsu-Chun Hsiao, Darion Cassel, Lujo Bauer, Limin Jia
2022 J jnl
OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers.
Proc. Priv. Enhancing Technol.
Darion Cassel, Su-Chin Lin, Alessio Buraggina, William Wang, Andrew Zhang, Lujo Bauer, Hsu-Chun Hsiao, Limin Jia, Timothy Libert
2019 — conf
Uncovering Information Flow Policy Violations in C Programs (Extended Abstract).
ESORICS (2)
Darion Cassel, Yan Huang, Limin Jia
2019 J jnl
Uncovering Information Flow Policy Violations in C Programs.
CoRR
Darion Cassel, Yan Huang, Limin Jia
2018 A* conf
FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C.
CCS
Darion Cassel, Yan Huang, Limin Jia
2018 A* conf
NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation.
CCS
Ruiyu Zhu, Darion Cassel, Amr Sabry, Yan Huang
2017 A* conf
Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries.
CCS
Ruiyu Zhu, Yan Huang, Darion Cassel