I’m Darion, an Applied Scientist in the Amazon Web Services Automated Reasoning Group (ARG). I completed my PhD at Carnegie Mellon University’s security lab, CyLab, where I was advised by Limin Jia.
My research, both in my PhD and now continuing in my role in ARG, is focused on determining how security properties can be practically checked on (web) software systems. I have pursued this research question through program analysis and type system design.
NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. Darion Cassel, Nuno Sabino, Ruben Martins, Limin Jia. 2024. [Preprint]
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.
Artifact evaluation program committee member: PETS ‘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) 2023 by Darion Cassel.
Built with Jekyll and the Solo theme.