I’m Darion, an Applied Scientist in the Amazon Web Services Automated Reasoning Group (ARG). My work in ARG is focused on improving the reliability of Large Language Models (LLMs) through formal methods.
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.
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).
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).
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.
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).
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).
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).
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).
I am currently working as an Applied Scientist in the Automated Reasoning Group.
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.
Program committee member: 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.
Questions, comments, concerns? Contact me on LinkedIn.
Thanks for visiting!
(c) Darion Cassel.
Built with Jekyll and the Solo theme.