Derek Leung

11 papers A* 5A 1Misc 1Journal 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Shipwright: Proving liveness of distributed systems with Byzantine participants.
CoRR
Derek Leung, Nickolai Zeldovich, M. Frans Kaashoek
2023 A* conf
Analyzing the Real-World Security of the Algorand Blockchain.
CCS
Erica Blum, Derek Leung, Julian Loss, Jonathan Katz, Tal Rabin
2023 J jnl
Analyzing the Real-World Security of the Algorand Blockchain.
IACR Cryptol. ePrint Arch.
Fabrice Benhamouda, Erica Blum, Jonathan Katz, Derek Leung, Julian Loss, Tal Rabin
2022 A* conf
Aardvark: An Asynchronous Authenticated Dictionary with Applications to Account-based Cryptocurrencies.
USENIX Security Symposium
Derek Leung, Yossi Gilad, Sergey Gorbunov, Leonid Reyzin, Nickolai Zeldovich
2020 J jnl
Aardvark: A Concurrent Authenticated Dictionary with Short Proofs.
IACR Cryptol. ePrint Arch.
Derek Leung, Yossi Gilad, Sergey Gorbunov, Leonid Reyzin, Nickolai Zeldovich
2019 A* conf
Vault: Fast Bootstrapping for the Algorand Cryptocurrency.
NDSS
Derek Leung, Adam Suhl, Yossi Gilad, Nickolai Zeldovich
2018 J jnl
Vault: Fast Bootstrapping for Cryptocurrencies.
IACR Cryptol. ePrint Arch.
Derek Leung, Adam Suhl, Yossi Gilad, Nickolai Zeldovich
2017 A* conf
Stadium: A Distributed Metadata-Private Messaging System.
SOSP
Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich
2016 A conf
Smart Locks: Lessons for Securing Commodity Internet of Things Devices.
AsiaCCS
Grant Ho, Derek Leung, Pratyush Mishra, Ashkan Hosseini, Dawn Song, David A. Wagner
2015 A* conf
Somebody's Watching Me?: Assessing the Effectiveness of Webcam Indicator Lights.
CHI
Rebecca S. Portnoff, Linda Naeun Lee, Serge Egelman, Pratyush Mishra, Derek Leung, David A. Wagner
2002 Misc conf
pSlash: A Web Content Management System.
CATA
Derek Leung, Du Zhang