Ahmed E. Kosba

29 papers A* 8B 1Misc 1Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2022 — conf
Ethereum Price Prediction using Topological Data Analysis.
GCAIoT
Samia Hafez, Mustafa ElNainay, Mohammed Abougabal, Ahmed E. Kosba
2020 A* conf
MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs.
USENIX Security Symposium
Ahmed E. Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Dawn Song
2020 J jnl
MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs.
IACR Cryptol. ePrint Arch.
Ahmed E. Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Dawn Song
2018 — —
Verifiable Computation in Practice: Tools and Protocols.
Ahmed E. Kosba
2018 A* conf
xJsnark: A Framework for Efficient Verifiable Computation.
IEEE Symposium on Security and Privacy
Ahmed E. Kosba, Charalampos Papamanthou, Elaine Shi
2017 A* conf
Solidus: Confidential Distributed Ledger Transactions via PVORM.
CCS
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi
2017 J jnl
Solidus: Confidential Distributed Ledger Transactions via PVORM.
IACR Cryptol. ePrint Arch.
Ethan Cecchetti, Fan Zhang, Yan Ji, Ahmed E. Kosba, Ari Juels, Elaine Shi
2016 A* conf
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts.
IEEE Symposium on Security and Privacy
Ahmed E. Kosba, Andrew Miller, Elaine Shi, Zikai Wen, Charalampos Papamanthou
2016 — conf
On Scaling Decentralized Blockchains - (A Position Paper).
Financial Cryptography Workshops
Kyle Croman, Christian Decker, Ittay Eyal, Adem Efe Gencer, Ari Juels, Ahmed E. Kosba, Andrew Miller, Prateek Saxena, Elaine Shi, Emin Gün Sirer, Dawn Song, Roger Wattenhofer
2016 — conf
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab.
Financial Cryptography Workshops
Kevin Delmolino, Mitchell Arnett, Ahmed E. Kosba, Andrew Miller, Elaine Shi
2016 A* conf
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts.
CCS
Ari Juels, Ahmed E. Kosba, Elaine Shi
2016 J jnl
The Ring of Gyges: Investigating the Future of Criminal Smart Contracts.
IACR Cryptol. ePrint Arch.
Ari Juels, Ahmed E. Kosba, Elaine Shi
2015 J jnl
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts.
IACR Cryptol. ePrint Arch.
Ahmed E. Kosba, Andrew Miller, Elaine Shi, Zikai Wen, Charalampos Papamanthou
2015 J jnl
How to Use SNARKs in Universally Composable Protocols.
IACR Cryptol. ePrint Arch.
Ahmed E. Kosba, Zhichao Zhao, Andrew Miller, Yi Qian, T.-H. Hubert Chan, Charalampos Papamanthou, Rafael Pass, Abhi Shelat, Elaine Shi
2015 A* conf
Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions.
CCS
Andrew Miller, Ahmed E. Kosba, Jonathan Katz, Elaine Shi
2015 J jnl
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab.
IACR Cryptol. ePrint Arch.
Kevin Delmolino, Mitchell Arnett, Ahmed E. Kosba, Andrew Miller, Elaine Shi
2014 Misc conf
ADAM: Automated Detection and Attribution of Malicious Webpages.
WISA
Ahmed E. Kosba, Aziz Mohaisen, Andrew G. West, Trevor Tonn, Huy Kang Kim
2014 J jnl
Ichnaea: A Low-Overhead Robust WLAN Device-Free Passive Localization System.
IEEE J. Sel. Top. Signal Process.
Ahmed Saeed, Ahmed E. Kosba, Moustafa Youssef
2014 A* conf
TRUESET: Faster Verifiable Set Computations.
USENIX Security Symposium
Ahmed E. Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Mahmoud F. Sayed, Elaine Shi, Nikos Triandopoulos
2014 J jnl
TRUESET: Nearly Practical Verifiable Set Computations.
IACR Cryptol. ePrint Arch.
Ahmed E. Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Mahmoud F. Sayed, Elaine Shi, Nikos Triandopoulos
2013 — conf
ADAM: Automated detection and attribution of malicious webpages.
CNS
Ahmed E. Kosba, Aziz Mohaisen, Andrew G. West, Trevor Tonn
2013 J jnl
Nuzzer: A Large-Scale Device-Free Passive Localization System for Wireless Environments.
IEEE Trans. Mob. Comput.
Moustafa Seifeldin, Ahmed Saeed, Ahmed E. Kosba, Amr El-Keyi, Moustafa Youssef
2012 — conf
RASID demo: A robust WLAN device-free passive motion detection system.
PerCom Workshops
Ahmed E. Kosba, Moustafa Youssef
2012 A* conf
RASID: A robust WLAN device-free passive motion detection system.
PerCom
Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
2012 — conf
RF-Based Vehicle Detection and Speed Estimation.
VTC Spring
Nehal Kassem, Ahmed E. Kosba, Moustafa Youssef
2012 B conf
Robust WLAN Device-free Passive motion detection.
WCNC
Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
2011 J jnl
MobiCom 2011 poster: a robust technique for WLAN device-free passive motion detection.
ACM SIGMOBILE Mob. Comput. Commun. Rev.
Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
2011 J jnl
RASID: A Robust WLAN Device-free Passive Motion Detection System
CoRR
Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
2009 — conf
Analysis of a Device-Free Passive Tracking System in Typical Wireless Environments.
NTMS
Ahmed E. Kosba, Ahmed Abdelkader Abdelrazek, Moustafa Youssef