Ahmed E. Kosba


I am a Computer Science PhD Student at University of Maryland, and a research assistant at the Maryland Cybersecurity Center (MC2). I am interested in security and applied cryptography research, with a focus on verifiable computation and cryptocurrency. My research advisors are Prof. Elaine Shi and Prof. Charalampos Papamanthou. I am a member of the Initiative for Cryptocurrencies and Contracts.
I am also interested in wireless localization technologies, in which I have been doing research before joining UMD.







[Google Scholar] - [LinkedIn] - [Github]


Contact Information

3400 A.V. Williams
University of Maryland,
College Park, MD 20742

Email: akosba at cs dot umd dot edu              

Publications

Conference and Journal Publications

  • The Ring of Gyges: Investigating the Future of Criminal Smart Contracts
    Ari Juels, Ahmed E. Kosba, Elaine Shi
    ACM Conference on Computer and Communications Security (CCS), 2016.
    [PDF] [Talk] [Media Coverage: MIT Technology Review]
  • Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
    Ahmed E. Kosba, Andrew Miller, Elaine Shi, Zikai Wen, Charalampos Papamanthou.
    IEEE Symposium on Security & Privacy (Oakland), 2016. [PDF]
  • On Scaling Decentralized Blockchains (A Position Paper)
    Kyle Croman, Christian Decker, Ittay Eyal, Adem Efe Gencer, Ari Juels, Ahmed Kosba, Andrew Miller, Prateek Saxena, Elaine Shi, Emin Gun Sirer, Dawn Song, Roger Wattenhofer.
    The 3rd Workshop on Bitcoin and Blockchain Research, 2016. [PDF] [Media Coverage: MIT Technology Review]
  • 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, and Elaine Shi
    The 3rd Workshop on Bitcoin and Blockchain Research, 2016. [PDF] [Website]
  • Non-outsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions
    Andrew Miller, Elaine Shi, Ahmed E. Kosba, Jonathan Katz
    ACM Conference on Computer and Communications Security (CCS), 2015. [PDF]
  • TRUESET: Faster Verifiable Set Computations
    Ahmed E. Kosba, Dimitrios Papadopoulos, Charalampos Papamanthou, Mahmoud F. Sayed, Elaine Shi, Nikos Triandopoulos
    USENIX Security 2014. [PDF]
  • Ichnaea: A Low-Overhead Robust WLAN Device-Free Passive Localization System
    Ahmed Saeed, Ahmed E. Kosba, Moustafa Youssef
    IEEE Journal of Selected Topics in Signal Processing, 2014. [PDF]
  • Nuzzer: A Large-Scale Device-Free Passive Localization System for Wireless Environments
    Moustafa Seifeldin, Ahmed Saeed, Ahmed E. Kosba, Amr El-Keyi, Moustafa Youssef
    IEEE Transactions of Mobile Computing, 2013. [PDF]
  • RASID: A Robust WLAN Device-free Passive Motion Detection System
    Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
    IEEE Pervasive Computing and Communication (PerCom) Conference, 2012.  [PDF]
  • ReVISE: An RF-based Vehicle Detection and Speed Estimation System
    Nehal Kassem, Ahmed Kosba, Moustafa Youssef
    IEEE 75th Vehicular Technology Conference, 2012.
  •  Robust WLAN Device-free Passive Motion Detection
    Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
     IEEE Wireless Communications and Networking Conference (WCNC), 2012.  [PDF]
  •  Analysis of a Device-free Passive Tracking System in Typical Wireless Environments
    Ahmed E. Kosba, Ahmed Abdelkader, Moustafa Youssef
    IFIP 3rd International Conference on New Technologies, Mobility and Security (NTMS), 2009. (Undergraduate Project) [PDF]

Posters/Demos

  • ADAM: Automated Detection and Attribution of Malicious Webpages
    Ahmed E. Kosba, Aziz Mohaisen, Andrew West, Trevor Tonn
    (Poster) IEEE CNS, 2013.
  • RASID Demo: A Robust WLAN Device-free Passive Motion Detection System
    Ahmed E. Kosba, Moustafa Youssef
    (Demo) IEEE Pervasive Computing and Communication (PerCom) Conference, 2012.  [Video]
  • A Robust Technique for WLAN Device-free Passive Motion Detection
    Ahmed E. Kosba, Ahmed Saeed, Moustafa Youssef
    (Poster) MobiCom, 2011.

Preprints

  • How to use SNARKs in Universally Composable Protocols
    Ahmed E. Kosba, Zhichao Zhao, Andrew Miller, Yi Qian, Hubert Chan, Charalampos Papamanthou, Rafael Pass, abhi shelat, Elaine Shi.
    Online Preprint. [PDF]

Education

  • PhD, Computer Science, University of Maryland, College Park [Fall 2012 - present]
  • M.Sc.,  Faculty of Engineering, Alexandria University, Egypt [2009 - 2012]
  • B.Sc. Faculty of Engineering, Alexandria University, Egypt [2005 -2009]

Awards

  • Outstanding Graduate Student Dean's Fellowship, Department of Computer Science, University of Maryland, 2016.
  • Distinguished Teaching Assistant Award, University of Maryland, May 2014.
  • Best poster award, IEEE CNS 2013.
  • Dean's Fellowship, University of Maryland [2012-2013].
  • Third Place, ACM SIGMOBILE Graduate Student Research Competition, 2011.
  • Certificate of Honor - Faculty of Engineering, Alexandria University, Egypt [2005-2009].
  • Silver medal in the Egyptian Olympiad of Informatics (EOI), 2006.



Teaching Experience

I enjoy teaching, and find it very rewarding. I have been fortunate to work as a teaching assistant since I graduated in 2009.

  • Classes TA'ed at UMD [Fall 2012 - Fall 2014]:
            CMSC417- Computer Networks, CMSC131/132- Object Oriented Programming I/II
  • Classes TA'ed at Alexandria University [Fall 2009 - Spring 2012]:
  •         Computer Networks, Performance Evaluation, C Programming, Probability and Statistics.