5 citations · 18 across the 13 of their papers we have counts for
19 papers
OVIG: Optimistic Verification of AI Training Integrity via Gradient Signals
Hongxu Su, Jianzhu Yao, Huan Zhang +2
The rapid growth of AI has increased the demand for domain-specific models. Post-training of open-source models offers a more economical way to meet this growing demand, but the co…
GasLiteAA: Optimizing ERC-4337 for Efficient and Secure Gas Sponsorship
Hongxu Su, Mingzhe Liu, Jie Xu +2
ERC-4337, the Ethereum account abstraction standard, simplifies account management and transaction fee payment in decentralized applications by introducing programmable smart contr…
Ordering Power is Sanctioning Power: Sanction Evasion-MEV and the Limits of On-Chain Enforcement
Di Wu, Yuman Bai, Shoupeng Ren +5
Centralized stablecoins such as USDT and USDC enforce sanctions through contract-layer blacklist functions. Yet on public blockchains, a freeze is still an ordinary transaction com…
The Walls Have Ears: Unveiling Cross-Chain Sandwich Attacks in DeFi
Chuanlei Li, Zhicheng Sun, Jing Xin Yuu +1
Cross-chain interoperability is a core component of modern blockchain infrastructure, enabling seamless asset transfers and composable applications across multiple blockchain ecosy…
TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
Jianzhu Yao, Hongxu Su, Taobo Liao +4
Neural networks increasingly run on hardware outside the user's control (cloud GPUs, inference marketplaces). Yet ML-as-a-Service reveals little about what actually ran or whether…
AgileRate: Bringing Adaptivity and Robustness to DeFi Lending Markets
Mahsa Bastankhah, Viraj Nadkarni, Xuechao Wang +1
Decentralized Finance (DeFi) has revolutionized lending by replacing intermediaries with algorithm-driven liquidity pools. However, existing platforms like Aave and Compound rely o…
Thinking Fast and Slow: Data-Driven Adaptive DeFi Borrow-Lending Protocol
Mahsa Bastankhah, Viraj Nadkarni, Xuechao Wang +3
Decentralized finance (DeFi) borrowing and lending platforms are crucial to the decentralized economy, involving two main participants: lenders who provide assets for interest and…
Proof-of-Learning with Incentive Security
Zishuo Zhao, Zhixuan Fang, Xuechao Wang +4
Most concurrent blockchain systems rely heavily on the Proof-of-Work (PoW) or Proof-of-Stake (PoS) mechanisms for decentralized consensus and security assurance. However, the subst…
Security Analysis of Filecoin's Expected Consensus in the Byzantine vs Honest Model
Xuechao Wang, Sarah Azouvi, Marko Vukolić
Filecoin is the largest storage-based open-source blockchain, both by storage capacity (>11EiB) and market capitalization. This paper provides the first formal security analysis of…
SAKSHI: Decentralized AI Platforms
Suma Bhat, Canhui Chen, Zerui Cheng +8
Large AI models (e.g., Dall-E, GPT4) have electrified the scientific, technological and societal landscape through their superhuman capabilities. These services are offered largely…
CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols
Weizhao Tang, Peiyao Sheng, Ronghao Ni +4
Crash fault tolerant (CFT) consensus algorithms are commonly used in scenarios where system components are trusted -- e.g., enterprise settings and government infrastructure. Howev…
TrustBoost: Boosting Trust among Interoperable Blockchains
Peiyao Sheng, Xuechao Wang, Sreeram Kannan +2
Currently there exist many blockchains with weak trust guarantees, limiting applications and participation. Existing solutions to boost the trust using a stronger blockchain, e.g.,…
Minotaur: Multi-Resource Blockchain Consensus
Matthias Fitzi, Xuechao Wang, Sreeram Kannan +4
Resource-based consensus is the backbone of permissionless distributed ledger systems. The security of such protocols relies fundamentally on the level of resources actively engage…
Securing Parallel-chain Protocols under Variable Mining Power
Xuechao Wang, Viswa Virinchi Muppirala, Lei Yang +2
Several emerging PoW blockchain protocols rely on a "parallel-chain" architecture for scaling, where instead of a single chain, multiple chains are run in parallel and aggregated.…
The Twelvefold Way of Non-Sequential Lossless Compression
Taha Ameen ur Rahman, Alton S. Barbehenn, Xinan Chen +27
Many information sources are not just sequences of distinguishable symbols but rather have invariances governed by alternative counting paradigms such as permutations, combinations…
Blockchain CAP Theorem Allows User-Dependent Adaptivity and Finality
Suryanarayana Sankagiri, Xuechao Wang, Sreeram Kannan +1
Longest-chain blockchain protocols, such as Bitcoin, guarantee liveness even when the number of actively participating users is variable, i.e., they are adaptive. However, they are…
Everything is a Race and Nakamoto Always Wins
Amir Dembo, Sreeram Kannan, Ertem Nusret Tas +4
Nakamoto invented the longest chain protocol, and claimed its security by analyzing the private double-spend attack, a race between the adversary and the honest nodes to grow a lon…
Proof-of-Stake Longest Chain Protocols: Security vs Predictability
Vivek Bagaria, Amir Dembo, Sreeram Kannan +5
The Nakamoto longest chain protocol is remarkably simple and has been proven to provide security against any adversary with less than 50% of the total hashing power. Proof-of-stake…
Practical Low Latency Proof of Work Consensus
Lei Yang, Xuechao Wang, Vivek Bagaria +5
Bitcoin is the first fully-decentralized permissionless blockchain protocol to achieve a high level of security, but at the expense of poor throughput and latency. Scaling the perf…