50 citations · 206 across the 19 of their papers we have counts for
19 papers
What Drives the (In)stability of a Stablecoin?
Yujin Kwon, Kornrapat Pongmala, Kaihua Qin +5
In May 2022, an apparent speculative attack, followed by market panic, led to the precipitous downfall of UST, one of the most popular stablecoins at that time. However, UST is not…
MFDPG: Multi-Factor Authenticated Password Management With Zero Stored Secrets
Vivek Nair, Dawn Song
While password managers are a vital tool for internet security, they can also create a massive central point of failure, as evidenced by several major recent data breaches. For ove…
Do you still need a manual smart contract audit?
Isaac David, Liyi Zhou, Kaihua Qin +3
We investigate the feasibility of employing large language models (LLMs) for conducting the security audit of smart contracts, a traditionally time-consuming and costly process. Ou…
Multi-Factor Credential Hashing for Asymmetric Brute-Force Attack Resistance
Vivek Nair, Dawn Song
Since the introduction of bcrypt in 1999, adaptive password hashing functions, whereby brute-force resistance increases symmetrically with computational difficulty for legitimate u…
Decentralizing Custodial Wallets with MFKDF
Vivek Nair, Dawn Song
The average cryptocurrency user today faces a difficult choice between centralized custodial wallets, which are notoriously prone to spontaneous collapse, or cumbersome self-custod…
Truth in Motion: The Unprecedented Risks and Opportunities of Extended Reality Motion Data
Vivek Nair, Louis Rosenberg, James F. O'Brien +1
Motion tracking "telemetry" data lies at the core of nearly all modern extended reality (XR) and metaverse experiences. While generally presumed innocuous, recent studies have demo…
Enhancing Smart Contract Security Analysis with Execution Property Graphs
Kaihua Qin, Zhe Ye, Zhun Wang +5
Smart contract vulnerabilities have led to significant financial losses, with their increasing complexity rendering outright prevention of hacks increasingly challenging. This tren…
Blockchain Large Language Models
Yu Gai, Liyi Zhou, Kaihua Qin +2
This paper presents a dynamic, real-time approach to detecting anomalous blockchain transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain activ…
Unpacking How Decentralized Autonomous Organizations (DAOs) Work in Practice
Tanusree Sharma, Yujin Kwon, Kornrapat Pongmala +4
Decentralized Autonomous Organizations (DAOs) have emerged as a novel way to coordinate a group of (pseudonymous) entities towards a shared vision (e.g., promoting sustainability),…
SoK: Data Privacy in Virtual Reality
Gonzalo Munilla Garrido, Vivek Nair, Dawn Song
The adoption of virtual reality (VR) technologies has rapidly gained momentum in recent years as companies around the world begin to position the so-called "metaverse" as the next…
Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution
Zhe Ye, Ujval Misra, Jiajun Cheng +2
An optimistic rollup (ORU) scales a blockchain's throughput by delegating computation to an untrusted remote chain (L2), refereeing any state claim disagreements between mutually d…
Lessons Learned: Surveying the Practicality of Differential Privacy in the Industry
Gonzalo Munilla Garrido, Xiaoyuan Liu, Florian Matthes +1
Since its introduction in 2006, differential privacy has emerged as a predominant statistical tool for quantifying data privacy in academic works. Yet despite the plethora of resea…
zkBridge: Trustless Cross-chain Bridges Made Practical
Tiancheng Xie, Jiaheng Zhang, Zerui Cheng +5
Blockchains have seen growing traction with cryptocurrencies reaching a market cap of over 1 trillion dollars, major institution investors taking interests, and global impacts on g…
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
Dayeol Lee, Kevin Cheang, Alexander Thomas +7
Hardware enclaves rely on a disjoint memory model, which maps each physical address to an enclave to achieve strong memory isolation. However, this severely limits the performance…
SoK: Decentralized Finance (DeFi) Attacks
Liyi Zhou, Xihan Xiong, Jens Ernstberger +7
Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in DeFi…
Going Incognito in the Metaverse: Achieving Theoretically Optimal Privacy-Usability Tradeoffs in VR
Vivek Nair, Gonzalo Munilla Garrido, Dawn Song
Virtual reality (VR) telepresence applications and the so-called "metaverse" promise to be the next major medium of human-computer interaction. However, with recent studies demonst…
The Sky Above The Clouds
Sarah Chasins, Alvin Cheung, Natacha Crooks +14
Technology ecosystems often undergo significant transformations as they mature. For example, telephony, the Internet, and PCs all started with a single provider, but in the United…
Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees
Banghua Zhu, Lun Wang, Qi Pang +4
We propose Byzantine-robust federated learning protocols with nearly optimal statistical rates. In contrast to prior work, our proposed protocols improve the dimension dependence a…
Shades of Finality and Layer 2 Scaling
Bennet Yee, Dawn Song, Patrick McCorry +1
Blockchains combine a distributed append-only log with a virtual machine that defines how log entries are interpreted. By viewing transactions as state transformation functions for…