Ahmed E. Kosba

Dimitrios Papadopoulos

Dawn Song

Proceedings of the 29th USENIX Security Symposium, 2020

2018

Verifiable Computation in Practice: Tools and Protocols.

[BibT_eX]

[DOI]

PhD thesis, 2018

xJsnark: A Framework for Efficient Verifiable Computation.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2017

Solidus: Confidential Distributed Ledger Transactions via PVORM.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2016

On Scaling Decentralized Blockchains - (A Position Paper).

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2016

The Ring of Gyges: Investigating the Future of Criminal Smart Contracts.

[BibT_eX]

[DOI]

Ari Juels

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

How to Use SNARKs in Universally Composable Protocols.

[BibT_eX]

[DOI]

Rafael Pass

Abhi Shelat

IACR Cryptol. ePrint Arch., 2015

Nonoutsourceable Scratch-Off Puzzles to Discourage Bitcoin Mining Coalitions.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Ichnaea: A Low-Overhead Robust WLAN Device-Free Passive Localization System.

[BibT_eX]

[DOI]

IEEE J. Sel. Top. Signal Process., 2014

TRUESET: Nearly Practical Verifiable Set Computations.

[BibT_eX]

[DOI]

Dimitrios Papadopoulos

Mahmoud F. Sayed

Nikos Triandopoulos

IACR Cryptol. ePrint Arch., 2014

ADAM: Automated Detection and Attribution of Malicious Webpages.

[BibT_eX]

[DOI]

Proceedings of the Information Security Applications - 15th International Workshop, 2014

TRUESET: Faster Verifiable Set Computations.

[BibT_eX]

[DOI]

Dimitrios Papadopoulos

Mahmoud F. Sayed

Nikos Triandopoulos

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

2013

Nuzzer: A Large-Scale Device-Free Passive Localization System for Wireless Environments.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2013

ADAM: Automated detection and attribution of malicious webpages.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Communications and Network Security, 2013

2012

Robust WLAN Device-free Passive motion detection.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

RF-Based Vehicle Detection and Speed Estimation.

[BibT_eX]

[DOI]

Nehal Kassem

Proceedings of the 75th IEEE Vehicular Technology Conference, 2012

RASID demo: A robust WLAN device-free passive motion detection system.

[BibT_eX]

[DOI]

Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

RASID: A robust WLAN device-free passive motion detection system.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Pervasive Computing and Communications, 2012

2011

MobiCom 2011 poster: a robust technique for WLAN device-free passive motion detection.

[BibT_eX]

[DOI]

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2011

2009

Analysis of a Device-Free Passive Tracking System in Typical Wireless Environments.

[BibT_eX]

[DOI]

Ahmed Abdelkader Abdelrazek