260 citations · 392 across the 22 of their papers we have counts for
23 papers
zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
Yancheng Zhang, Mengxin Zheng, Xun Chen +5
In the context of cloud computing, services are held on cloud servers, where the clients send their data to the server and obtain the results returned by server. However, the compu…
SoK: Can Fully Homomorphic Encryption Support General AI Computation? A Functional and Cost Analysis
Jiaqi Xue, Xin Xin, Wei Zhang +11
Artificial intelligence (AI) increasingly powers sensitive applications in domains such as healthcare and finance, relying on both linear operations (e.g., matrix multiplications i…
SpecHub: Provable Acceleration to Multi-Draft Speculative Decoding
Ryan Sun, Tianyi Zhou, Xun Chen +1
Large Language Models (LLMs) have become essential in advancing natural language processing (NLP) tasks, but their sequential token generation limits inference speed. Multi-Draft S…
BadRAG: Identifying Vulnerabilities in Retrieval Augmented Generation of Large Language Models
Jiaqi Xue, Mengxin Zheng, Yebowen Hu +3
Retrieval-Augmented Generation (RAG) enhances Large Language Models (LLMs) by retrieving relevant information from external knowledge bases to provide more accurate, contextually i…
Rethinking and Red-Teaming Protective Perturbation in Personalized Diffusion Models
Yixin Liu, Ruoxi Chen, Xun Chen +1
Personalized diffusion models (PDMs) have become prominent for adapting pre-trained text-to-image models to generate images of specific subjects using minimal training data. Howeve…
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
Hongbo Chen, Yifan Zhang, Xing Han +7
Token-inconsistency bugs (TIBs) involve the misuse of syntactically valid yet incorrect code tokens, such as misused variables and erroneous function invocations, which can often l…