Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. - Ivica Nikolic; Aashish Kolluri; Ilya Sergey; Prateek Saxena; Aquinas Hobor (ACSAC, 2018)

(Invited Paper) on the Security of Blockchain Consensus Protocols. - Sourav Das; Aashish Kolluri; Prateek Saxena; Haifeng Yu (ICISS, 2018)

Exploiting the laws of order in smart contracts. - Aashish Kolluri; Ivica Nikolic; Ilya Sergey; Aquinas Hobor; Prateek Saxena (ISSTA, 2019)

Localizing Patch Points From One Exploit. - Shiqi Shen; Aashish Kolluri; Zhen Dong; Prateek Saxena; Abhik Roychoudhury (CoRR, 2020)

Localizing Vulnerabilities Statistically From One Exploit. - Shiqi Shen; Aashish Kolluri; Zhen Dong; Prateek Saxena; Abhik Roychoudhury (AsiaCCS, 2021)

Private Hierarchical Clustering in Federated Networks. - Aashish Kolluri; Teodora Baluta; Prateek Saxena (CCS, 2021)

SynGuar: guaranteeing generalization in programming by example. - Bo Wang 146; Teodora Baluta; Aashish Kolluri; Prateek Saxena (ESEC/SIGSOFT FSE, 2021)

SynGuar: Guaranteeing Generalization in Programming by Example (Artifact). - Bo Wang 146; Teodora Baluta; Aashish Kolluri; Prateek Saxena (Zenodo, 2021)

LPGNet: Link Private Graph Networks for Node Classification. - Aashish Kolluri; Teodora Baluta; Bryan Hooi; Prateek Saxena (CCS, 2022)

RETEXO: Scalable Neural Network Training over Distributed Graphs. - Aashish Kolluri; Sarthak Choudhary; Bryan Hooi; Prateek Saxena (CoRR, 2023)

DuoGlot: User-Customizable Transpilation of Scripting Languages (Artifact). - Bo Wang 146; Aashish Kolluri; Ivica Nikolic; Teodora Baluta; Prateek Saxena (Zenodo, 2023)

User-Customizable Transpilation of Scripting Languages. - Bo Wang 146; Aashish Kolluri; Ivica Nikolic; Teodora Baluta; Prateek Saxena (Proc. ACM Program. Lang., 2023)

Attacking Byzantine Robust Aggregation in High Dimensions. - Sarthak Choudhary; Aashish Kolluri; Prateek Saxena (SP, 2024)

CLUE-MARK: Watermarking Diffusion Models using CLWE. - Kareem Shehata; Aashish Kolluri; Prateek Saxena (CoRR, 2024)

Securing AI Agents with Information-Flow Control. - Manuel Costa; Boris Köpf; Aashish Kolluri; Andrew Paverd; Mark Russinovich; Ahmed Salem 001; Shruti Tople; Lukas Wutschitz; Santiago Zanella-Béguelin (CoRR, 2025)

A Practical and Secure Byzantine Robust Aggregator. - De Zhang Lee; Aashish Kolluri; Prateek Saxena; Ee-Chien Chang (CoRR, 2025)