Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries. - Ruiyu Zhu; Yan Huang 001; Darion Cassel (CCS, 2017)

FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C. - Darion Cassel; Yan Huang 001; Limin Jia 001 (CCS, 2018)

NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation. - Ruiyu Zhu; Darion Cassel; Amr Sabry; Yan Huang 001 (CCS, 2018)

Uncovering Information Flow Policy Violations in C Programs (Extended Abstract). - Darion Cassel; Yan Huang 001; Limin Jia 001 (ESORICS (2), 2019)

Uncovering Information Flow Policy Violations in C Programs. - Darion Cassel; Yan Huang 001; Limin Jia 001 (CoRR, 2019)

Investigating Advertisers' Domain-changing Behaviors and Their Impacts on Ad-blocker Filter Lists. - Su-Chin Lin; Kai-Hsiang Chou; Yen Chen; Hsu-Chun Hsiao; Darion Cassel; Lujo Bauer; Limin Jia 001 (WWW, 2022)

OmniCrawl: Comprehensive Measurement of Web Tracking With Real Desktop and Mobile Browsers. - Darion Cassel; Su-Chin Lin; Alessio Buraggina; William Wang; Andrew Zhang; Lujo Bauer; Hsu-Chun Hsiao; Limin Jia 001; Timothy Libert (Proc. Priv. Enhancing Technol., 2022)

NodeMedic: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs. - Darion Cassel; Wai Tuck Wong; Limin Jia 001 (EuroS&P, 2023)

Practical End-to-End Analysis of Information Flow Security Policies - Darion Cassel (2023)

NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. - Darion Cassel; Nuno Sabino; Min-Chien Hsu; Ruben Martins; Limin Jia 001 (NDSS, 2025)

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 001; Rina Dechter; Esra Erdem 001; David A. Ferrucci; Kenneth D. Forbus; Gregory Gelfond; Michael R. Genesereth; et al. (CoRR, 2025)