I’m Darion, a researcher working on leveraging formal methods to improve AI safety and reasoning.
I’m currently working as a Senior Applied Scientist in the AWS Bedrock’s Guardrails organization. Check out my team’s recently launched service: Automated Reasoning checks.
(Last updated 11/24/25)
A Neurosymbolic Approach to Natural Language Formalization and Verification. 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 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. arXiv:2511.09008.
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. arXiv:2511.04662.
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. arXiv:2510.20739.
DOM-XSS Detection via Webpage Interaction Fuzzing and URL Component Synthesis. Nuno Sabino, Darion Cassel, Rui Abreu, Pedro Adão, Lujo Bauer, Limin Jia. To appear in the Proceedings of the 2026 Network and Distributed System Security Symposium (NDSS ‘26).
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 Mag. 46 (June 2025). [PDF].
NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia. In the Proceedings of the 2025 Network and Distributed System Security Symposium (NDSS ‘25). [PDF] [Code]
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. In the Proceedings of the 2023 European Symposium on Security and Privacy (EuroS&P ‘23). [PDF] [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. In the Proceedings of the 2022 Privacy Enhancing Technologies Symposium (PETS ‘22). PETS Best Artifact Award. [PDF] [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. In the Proceedings of The Web Conference 2022 (WWW ‘22). [PDF]. [Code].
Uncovering Information Flow Policy Violations in C Programs. Darion Cassel, Yan Huang, and Limin Jia. In Proceedings of the 2019 European Symposium on Research in Computer Security (ESORICS ‘19). [PDF] [Code]
NanoPI: Extreme-Scale Actively-Secure Multi-Party Computation. Ruiyu Zhu, Darion Cassel, Amr Sabry, and Yan Huang. In Proceedings of the 2018 Conference on Computer and Communications Security (CCS ‘18). [PDF] [Code]
Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries. Ruiyu Zhu, Yan Huang, and Darion Cassel. In Proceedings of the 2017 Conference on Computer and Communications Security (CCS ‘17). [PDF] [Code]
Program committee member: CCS ‘26, FM ‘26, TheWebConf ‘26, CCS ‘25, MADWeb ‘25.
Artifact evaluation program committee member: PETS ‘25, PETS ‘24, ISSTA ‘24, PETS ‘23, ESOP ‘22.
External reviewer: PETS ‘23, NDSS ‘23, NDSS ‘22, S&P ‘22, NDSS ‘21.
I completed my PhD at Carnegie Mellon University’s security lab, CyLab, where I was advised by Limin Jia. My PhD research was focused on practical analysis of security properties for software systems through program analysis and type system design.
In the past, I’ve interned at:
As an undergraduate, I was a researcher at the UVa Security Research Group under the guidance of Professor David Evans, and worked on the Obliv-C project.
Questions, comments, concerns? Contact me on LinkedIn.
Thanks for visiting!
(c) Darion Cassel.
Built with Jekyll and the Solo theme.