Darion Cassel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2026 | NDSS | DOM-XSS Detection via Webpage Interaction Fuzzing and URL Component Synthesis. | Nuno Sabino, Darion Cassel, Rui Abreu, Pedro Ado, Lujo Bauer, Limin Jia |
| 2025 | NDSS | NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities. | Darion Cassel, Nuno Sabino, Min-Chien Hsu, Ruben Martins, Limin Jia |
| 2022 | WWW | 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 |
| 2019 | ESORICS | Uncovering Information Flow Policy Violations in C Programs (Extended Abstract). | Darion Cassel, Yan Huang, Limin Jia |
| 2018 | CCS | FlowNotation: An Annotation System for Statically Enforcing Information Flow Policies in C. | Darion Cassel, Yan Huang, Limin Jia |
| 2018 | CCS | NANOPI: Extreme-Scale Actively-Secure Multi-Party Computation. | Ruiyu Zhu, Darion Cassel, Amr Sabry, Yan Huang |
| 2017 | CCS | Pool: Scalable On-Demand Secure Computation Service Against Malicious Adversaries. | Ruiyu Zhu, Yan Huang, Darion Cassel |