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 10/26/25)
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. arXiv:2506.16596.
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.