Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security. - Jianyu Jiang; Shixiong Zhao; Danish Alsayed; Yuexuan Wang; Heming Cui; Feng Liang 004; Zhaoquan Gu (ACSAC, 2017)

Cquirrel: Continuous Query Processing over Acyclic Relational Schemas. - Qichen Wang 001; Chaoqi Zhang 002; Danish Alsayed; Ke Yi 001; Bin Wu 003; Feifei Li 001; Chaoqun Zhan (Proc. VLDB Endow., 2021)