3 papers
cs.CR2026
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
Hideaki Takahashi, Jihwan Kim, Suman Jana +1
Zero-knowledge (ZK) circuits enable privacy-preserving computations and are central to many cryptographic protocols. Systems like Circom simplify ZK development by combining witnes…
cs.SE2024
Detecting Buggy Contracts via Smart Testing
Sally Junsong Wang, Jianan Yao, Kexin Pei +2
Smart contracts are susceptible to critical vulnerabilities. Hybrid dynamic analyses, such as concolic execution assisted fuzzing and foundation model assisted fuzzing, have emerge…
cs.LG2024
VFLAIR: A Research Library and Benchmark for Vertical Federated Learning
Tianyuan Zou, Zixuan Gu, Yu He +3
Vertical Federated Learning (VFL) has emerged as a collaborative training paradigm that allows participants with different features of the same group of users to accomplish coopera…