Formalization of Zsyntax to Reason About Molecular Pathways in HOL4. - Sohaib Ahmad; Osman Hasan; Umair Siddique; Sofiène Tahar (SBMF, 2014)

Towards Formal Reasoning about Molecular Pathways in HOL. - Sohaib Ahmad; Osman Hasan; Umair Siddique (WETICE, 2014)

On the Formalization of Zsyntax with Applications in Molecular Biology. - Sohaib Ahmad; Osman Hasan; Umair Siddique (Scalable Comput. Pract. Exp., 2015)

A View from the Other Side: Understanding Mobile Phone Characteristics in the Developing World. - Sohaib Ahmad; Abdul Lateef Haamid; Zafar Ayyub Qazi; Zhenyu Zhou; Theophilus Benson; Ihsan Ayyub Qazi (Internet Measurement Conference, 2016)

An Empirical Analysis of Facebook's Free Basics. - Siddharth Singh; Vedant Nanda; Rijurekha Sen; Sohaib Ahmad; Satadal Sengupta; Amreesh Phokeer; Zaid Ahmed Farooq; Taslim Arefin Khan; Ponnurangam Kumaraguru; Ihsan Ayyub Qazi; David R. Choffnes; Krishna P. Gummadi (SIGMETRICS (Abstracts), 2017)

Inside the Walled Garden: Deconstructing Facebook's Free Basics Program. - Rijurekha Sen; Sohaib Ahmad; Amreesh Phokeer; Zaid Ahmed Farooq; Ihsan Ayyub Qazi; David R. Choffnes; Krishna P. Gummadi (Comput. Commun. Rev., 2017)

Unconstrained Iris Segmentation Using Convolutional Neural Networks. - Sohaib Ahmad; Benjamin Fuller 001 (ACCV Workshops, 2018)

ThirdEye: Triplet Based Iris Recognition without Normalization. - Sohaib Ahmad; Benjamin W. Fuller (BTAS, 2019)

Learning from Optimal: Energy Procurement Strategies for Data Centers. - Sohaib Ahmad; Arielle Rosenthal; Mohammad Hassan Hajiesmaili; Ramesh K. Sitaraman (e-Energy, 2019)

Resist: Reconstruction of irises from templates. - Sohaib Ahmad; Benjamin Fuller 001 (IJCB, 2020)

AggNet: Cost-Aware Aggregation Networks for Geo-distributed Streaming Analytics. - Dhruv Kumar 001; Sohaib Ahmad; Abhishek Chandra; Ramesh K. Sitaraman (SEC, 2021)

Proximity Searchable Encryption for the Iris Biometric. - Chloé Cachet; Sohaib Ahmad; Luke Demarest; Ariel Hamlin; Benjamin Fuller 001 (AsiaCCS, 2022)

Inverting Biometric Models with Fewer Samples: Incorporating the Output of Multiple Models. - Sohaib Ahmad; Kaleel Mahmood; Benjamin Fuller 001 (IJCB, 2022)

Privacy Attacks Against Biometric Models with Fewer Samples: Incorporating the Output of Multiple Models. - Sohaib Ahmad; Benjamin Fuller 001; Kaleel Mahmood (CoRR, 2022)

Game Theoretic Mixed Experts for Combinational Adversarial Machine Learning. - Ethan Rathbun; Kaleel Mahmood; Sohaib Ahmad; Caiwen Ding; Marten van Dijk (CoRR, 2022)

AggFirstJoin: Optimizing Geo-Distributed Joins using Aggregation-Based Transformations. - Dhruv Kumar 001; Sohaib Ahmad; Abhishek Chandra; Ramesh K. Sitaraman (CCGrid, 2023)

Private Eyes: Zero-Leakage Iris Searchable Encryption. - Julie Ha; Chloé Cachet; Luke Demarest; Sohaib Ahmad; Benjamin Fuller 001 (IACR Cryptol. ePrint Arch., 2023)

An analytical review of current S-box design methodologies, performance evaluation criteria, and major challenges. - Adil Waheed; Fazli Subhan; Mazliham Mohd Su'ud; Mansoor Alam 001; Sohaib Ahmad (Multim. Tools Appl., 2023)

Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric. - Chloé Cachet; Sohaib Ahmad; Luke Demarest; Serena Riback; Ariel Hamlin; Benjamin Fuller 001 (Inf. Comput., 2023)

Proteus: A High-Throughput Inference-Serving System with Accuracy Scaling. - Sohaib Ahmad; Hui Guan 001; Brian D. Friedman; Thomas Williams; Ramesh K. Sitaraman; Thomas Y. C. Woo (ASPLOS (1), 2024)

Loki: A System for Serving ML Inference Pipelines with Hardware and Accuracy Scaling. - Sohaib Ahmad; Hui Guan 001; Ramesh K. Sitaraman (HPDC, 2024)

DiffServe: Efficiently Serving Text-to-Image Diffusion Models with Query-Aware Model Scaling. - Sohaib Ahmad; Qizheng Yang; Haoliang Wang; Ramesh K. Sitaraman; Hui Guan 001 (CoRR, 2024)

FiveEyes: Cryptographic Biometric Authentication from the Iris. - Luke Demarest; Sohaib Ahmad; Sixia Chen; Benjamin Fuller 001; Alexander Russell (IACR Cryptol. ePrint Arch., 2024)

Busting the Paper Ballot: Voting Meets Adversarial Machine Learning. - Kaleel Mahmood; Caleb Manicke; Ethan Rathbun; Aayushi Verma; Sohaib Ahmad; Nicholas Stamatakis; Laurent Michel; Benjamin Fuller 001 (CoRR, 2025)

Estimating the Distribution Function of Finite Population Using Auxiliary Information. - Sohaib Ahmad; Kalim Ullah; Javid Shabbir; Awadhesh K. Pandey (SN Comput. Sci., 2025)