Partitioning of urban transportation networks utilizing real-world traffic parameters for distributed simulation in SUMO. - Md. Salman Ahmed 001; Mohammad Asadul Hoque (VNC, 2016)

Demo: Real-time vehicle movement tracking on Android devices through Bluetooth communication with DSRC devices. - Md. Salman Ahmed 001; Mohammad Asadul Hoque; Asad J. Khattak (VNC, 2016)

Demo: Freeway Merge Assistance System using DSRC. - Md. Salman Ahmed 001; Mohammad Asadul Hoque; Jackeline Rios-Torres; Asad J. Khattak (CarSys@MobiCom, 2017)

Poster: Investigating Doppler Effects on Vehicle-to-Vehicle Communication: An Experimental Study. - Dwayne Jordan; Nicholas Kyte; Scott Murray; Mohammad Asadul Hoque; Md. Salman Ahmed 001; Asad J. Khattak (CarSys@MobiCom, 2017)

Reducing Inter-Process Communication Overhead in Parallel Sparse Matrix-Matrix Multiplication. - Md. Salman Ahmed 001; Jennifer Houser; Mohammad Asadul Hoque; Rezaul Raju; Phil Pfeiffer (Int. J. Grid High Perform. Comput., 2017)

Intersection Approach Advisory Through Vehicle-to-Infrastructure Communication Using Signal Phase and Timing Information at Signalized Intersection. - Md. Salman Ahmed 001; Mohammad Asadul Hoque; Asad J. Khattak (CoRR, 2018)

A Cooperative Freeway Merge Assistance System using Connected Vehicles. - Md. Salman Ahmed 001; Mohammad Asadul Hoque; Jackeline Rios-Torres; Asad J. Khattak (CoRR, 2018)

Simulating Vehicle Movement and Multi-Hop Connectivity from Basic Safety Messages. - Noah Carter; Mohammad Asadul Hoque; Md. Salman Ahmed 001 (CoRR, 2018)

Developing Mobility and Traffic Visualization Applications for Connected Vehicles. - Noah Carter; Md. Salman Ahmed 001; Jacob Hoyos; Matthew Dale; J. T. Blevins; Nick Hodge; Nusrat Chowdhury; Mohammad Asadul Hoque (CoRR, 2018)

A Memetic Algorithm Based PVT Variation-Aware Robust Transistor Sizing Scheme for Power-Delay Optimal Digital Standard Cell Design. - Mohammed Salman Ahmed 001; Zia Abbas (ICCD, 2019)

Exploitation Techniques and Defenses for Data-Oriented Attacks. - Long Cheng 005; Hans Liljestrand; Md. Salman Ahmed 001; Thomas Nyman; Trent Jaeger; N. Asokan; Danfeng Yao (SecDev, 2019)

Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization. - Salman Ahmed 001; Ya Xiao 002; Gang Tan; Kevin Z. Snow; Fabian Monrose; Danfeng Yao (CoRR, 2019)

Parallel Closed-Loop Connected Vehicle Simulator for Large-Scale Transportation Network Management: Challenges, Issues, and Solution Approaches. - Mohammad Asadul Hoque; Xiaoyan Hong; Md. Salman Ahmed 001 (IEEE Intell. Transp. Syst. Mag., 2019)

Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP. - Salman Ahmed 001; Ya Xiao 002; Kevin Z. Snow; Gang Tan; Fabian Monrose; Danfeng (Daphne) Yao (CCS, 2020)

The extent of reliability for vehicle-to-vehicle communication in safety critical applications: an experimental study. - Mohammad Asadul Hoque; Jackeline Rios-Torres; Ramin Arvin; Asad J. Khattak; Salman Ahmed 001 (J. Intell. Transp. Syst., 2020)

Tutorial: Investigating Advanced Exploits for System Security Assurance. - Salman Ahmed 001; Long Cheng 005; Hans Liljestrand; N. Asokan; Danfeng Daphne Yao (SecDev, 2021)

Embedding Code Contexts for Cryptographic API Suggestion: New Methodologies and Comparisons. - Ya Xiao 002; Salman Ahmed 001; Wenjia Song; Xinyang Ge; Bimal Viswanath; Danfeng Yao (CoRR, 2021)

Privacy Guarantees of BLE Contact Tracing: A Case Study on COVIDWISE. - Salman Ahmed 001; Ya Xiao 002; Taejoong Chung; Carol J. Fung; Moti Yung; Danfeng Yao (CoRR, 2021)

Exploitation Techniques for Data-oriented Attacks with Existing and Potential Defense Approaches. - Long Cheng 005; Salman Ahmed 001; Hans Liljestrand; Thomas Nyman; Haipeng Cai; Trent Jaeger; N. Asokan; Danfeng (Daphne) Yao (ACM Trans. Priv. Secur., 2021)

Privacy Guarantees of BLE Contact Tracing for COVID-19 and Beyond: A Case Study on COVIDWISE. - Salman Ahmed 001; Ya Xiao 002; Taejoong (Tijay) Chung; Carol J. Fung; Moti Yung; Danfeng (Daphne) Yao (AsiaCCS, 2022)

Poster: Comprehensive Comparisons of Embedding Approaches for Cryptographic API Completion. - Ya Xiao 002; Salman Ahmed 001; Xinyang Ge; Bimal Viswanath; Na Meng 001; Danfeng Daphne Yao (ICSE-Companion, 2022)

Privacy Guarantees of Bluetooth Low Energy Contact Tracing: A Case Study on COVIDWISE. - Salman Ahmed 001; Ya Xiao 002; Taejoong Chung; Carol J. Fung; Moti Yung; Danfeng Daphne Yao (Computer, 2022)

Securing Container-based Clouds with Syscall-aware Scheduling. - Michael V. Le; Salman Ahmed 001; Dan Williams 001; Hani Jamjoom (AsiaCCS, 2023)

Practical and Flexible Kernel CFI Enforcement using eBPF. - Jinghao Jia; Michael V. Le; Salman Ahmed 001; Dan Williams 001; Hani Jamjoom (eBPF@SIGCOMM, 2023)

Not All Data are Created Equal: Data and Pointer Prioritization for Scalable Protection Against Data-Oriented Attacks. - Salman Ahmed 001; Hans Liljestrand; Hani Jamjoom; Matthew Hicks; N. Asokan; Danfeng Yao (USENIX Security Symposium, 2023)

Crossing Shifted Moats: Replacing Old Bridges with New Tunnels to Confidential Containers. - Enriquillo Valdez; Salman Ahmed 001; Zhongshu Gu; Christophe de Dinechin; Pau-Chen Cheng; Hani Jamjoom (CCS, 2024)

Fast (Trapless) Kernel Probes Everywhere. - Jinghao Jia; Michael V. Le; Salman Ahmed 001; Dan Williams 001; Hani Jamjoom; Tianyin Xu (USENIX ATC, 2024)

Measurement of Embedding Choices on Cryptographic API Completion Tasks. - Ya Xiao 002; Wenjia Song; Salman Ahmed 001; Xinyang Ge; Bimal Viswanath; Na Meng 001; Danfeng (Daphne) Yao (ACM Trans. Softw. Eng. Methodol., 2024)

Intel TDX Demystified: A Top-Down Approach. - Pau-Chen Cheng; Wojciech Ozga; Enriquillo Valdez; Salman Ahmed 001; Zhongshu Gu; Hani Jamjoom; Hubertus Franke; James Bottomley (ACM Comput. Surv., 2024)

NVIDIA GPU Confidential Computing Demystified. - Zhongshu Gu; Enriquillo Valdez; Salman Ahmed 001; Julian James Stephen; Michael V. Le; Hani Jamjoom; Shixuan Zhao 002; Zhiqiang Lin (CoRR, 2025)