Analysis of a Device-Free Passive Tracking System in Typical Wireless Environments. - Ahmed E. Kosba; Ahmed Abdelkader Abdelrazek; Moustafa Youssef 001 (NTMS, 2009)

MobiCom 2011 poster: a robust technique for WLAN device-free passive motion detection. - Ahmed E. Kosba; Ahmed Saeed 001; Moustafa Youssef 001 (ACM SIGMOBILE Mob. Comput. Commun. Rev., 2011)

RASID: A robust WLAN device-free passive motion detection system. - Ahmed E. Kosba; Ahmed Saeed 001; Moustafa Youssef 001 (PerCom, 2012)

RASID demo: A robust WLAN device-free passive motion detection system. - Ahmed E. Kosba; Moustafa Youssef 001 (PerCom Workshops, 2012)

RF-Based Vehicle Detection and Speed Estimation. - Nehal Kassem; Ahmed E. Kosba; Moustafa Youssef 001 (VTC Spring, 2012)

Robust WLAN Device-free Passive motion detection. - Ahmed E. Kosba; Ahmed Saeed 001; Moustafa Youssef 001 (WCNC, 2012)

ADAM: Automated detection and attribution of malicious webpages. - Ahmed E. Kosba; Aziz Mohaisen; Andrew G. West; Trevor Tonn (CNS, 2013)

Nuzzer: A Large-Scale Device-Free Passive Localization System for Wireless Environments. - Moustafa Seifeldin; Ahmed Saeed 001; Ahmed E. Kosba; Amr El-Keyi; Moustafa Youssef 001 (IEEE Trans. Mob. Comput., 2013)

TRUESET: Faster Verifiable Set Computations. - Ahmed E. Kosba; Dimitrios Papadopoulos 001; Charalampos Papamanthou; Mahmoud F. Sayed; Elaine Shi; Nikos Triandopoulos (USENIX Security Symposium, 2014)

ADAM: Automated Detection and Attribution of Malicious Webpages. - Ahmed E. Kosba; Aziz Mohaisen; Andrew G. West; Trevor Tonn; Huy Kang Kim (WISA, 2014)

TRUESET: Nearly Practical Verifiable Set Computations. - Ahmed E. Kosba; Dimitrios Papadopoulos 001; Charalampos Papamanthou; Mahmoud F. Sayed; Elaine Shi; Nikos Triandopoulos (IACR Cryptol. ePrint Arch., 2014)

Ichnaea: A Low-Overhead Robust WLAN Device-Free Passive Localization System. - Ahmed Saeed 001; Ahmed E. Kosba; Moustafa Youssef 001 (IEEE J. Sel. Top. Signal Process., 2014)

Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions. - Andrew Miller 001; Ahmed E. Kosba; Jonathan Katz; Elaine Shi (CCS, 2015)

Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. - Kevin Delmolino; Mitchell Arnett; Ahmed E. Kosba; Andrew Miller 001; Elaine Shi (IACR Cryptol. ePrint Arch., 2015)

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts. - Ahmed E. Kosba; Andrew Miller 001; Elaine Shi; Zikai Wen; Charalampos Papamanthou (IACR Cryptol. ePrint Arch., 2015)

How to Use SNARKs in Universally Composable Protocols. - Ahmed E. Kosba; Zhichao Zhao; Andrew Miller 001; Yi Qian; T.-H. Hubert Chan; Charalampos Papamanthou; Rafael Pass; Abhi Shelat; Elaine Shi (IACR Cryptol. ePrint Arch., 2015)

On Scaling Decentralized Blockchains - (A Position Paper). - Kyle Croman; Christian Decker 002; Ittay Eyal; Adem Efe Gencer; Ari Juels; Ahmed E. Kosba; Andrew Miller 001; Prateek Saxena; Elaine Shi; Emin Gün Sirer; Dawn Song; Roger Wattenhofer (Financial Cryptography Workshops, 2016)

The Ring of Gyges: Investigating the Future of Criminal Smart Contracts. - Ari Juels; Ahmed E. Kosba; Elaine Shi (IACR Cryptol. ePrint Arch., 2016)

Solidus: Confidential Distributed Ledger Transactions via PVORM. - Ethan Cecchetti; Fan Zhang 022; Yan Ji 001; Ahmed E. Kosba; Ari Juels; Elaine Shi (IACR Cryptol. ePrint Arch., 2017)

xJsnark: A Framework for Efficient Verifiable Computation. - Ahmed E. Kosba; Charalampos Papamanthou; Elaine Shi (IEEE Symposium on Security and Privacy, 2018)

Verifiable Computation in Practice: Tools and Protocols. - Ahmed E. Kosba (2018)

MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs. - Ahmed E. Kosba; Dimitrios Papadopoulos 001; Charalampos Papamanthou; Dawn Song (IACR Cryptol. ePrint Arch., 2020)

Ethereum Price Prediction using Topological Data Analysis. - Samia Hafez; Mustafa ElNainay; Mohammed Abougabal; Ahmed E. Kosba (GCAIoT, 2022)