activity
20242026
most citedSoK: Understanding zk-SNARKs: The Gap Between Research and Practice

2 citations · 4 across the 11 of their papers we have counts for

collaborators
Showing cs.CRShow all

5 papers · 1 filter

cs.CR2026

CoRedSkill: Stealthy Skill Composition Attacks via AST-Guided Injection

Qichen Zhao, Shengfang Zhai, Qingni Shen +2

Agents extend their capabilities through reusable skills that package instructions, executable code, and resources. Composing these skills enables complex task workflows, but their…

cs.CR2026

ACLE-MCP: Attested Capability Leases for Execution-Time Trust in Remote LLM Tool Use

Zhiyang Ding, Yang Luo, Guangpu Chen +2

Remote Model Context Protocol (MCP) services enable large language model agents to invoke external tools, but OAuth authorization alone does not ensure that a later tool call is ex…

cs.CR2026

JITterFlip: Uncovering Fault Attack Surfaces in JIT-Compiled LLM Serving

Tairui Wang, Zhi Zhang, Yansong Gao +3

LLMs are widely deployed through cloud-hosted inference services, where Just-in-Time (JIT) compilation is used to reduce recurring framework and GPU-launch overhead. JIT serving in…

cs.CR2026

Purify Once, Edit Freely: Breaking Image Protections under Model Mismatch

Qichen Zhao, Shengfang Zhai, Xinjian Bai +4

Diffusion models enable high-fidelity image editing but can also be misused for unauthorized style imitation and harmful content generation. To mitigate these risks, proactive imag…

cs.CR2025★ 2 cited

SoK: Understanding zk-SNARKs: The Gap Between Research and Practice

Junkai Liang, Daqi Hu, Pengfei Wu +3

Zero-knowledge succinct non-interactive arguments of knowledge (zk-SNARKs) are a powerful tool for proving computation correctness, attracting significant interest from researchers…