3 papers
cs.CR2026
Scratchy: Visual-Scratchpad Multimodal Reasoning for Cryptographic Proof Generation in EasyCrypt
Yupeng Ren, Zhaoxuan Li, Rui Zhang
Large language models (LLMs) have recently made substantial progress in formal proof generation, yet presenting distinctive challenges in cryptographic area. Computational security…
cs.CR2026
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
Zhaoxuan Li, Qionglu Zhang, Hengyuan Liu +8
Manual formal analysis of cryptographic schemes is labor-intensive and requires substantial expertise. While model-checking tools (e.g., Scyther and Tamarin) and computational-secu…
cs.CR2024
FATS: A Prompt Injection Attack Utilizing Feign Security Agents with Deceptive Few-shots Learning
Yupeng Ren, Jiangtao Chen, Rui Zhang
Large Language Models (LLMs) face significant security risks despite their advanced capabilities. While techniques like Reinforcement Learning with Human Feedback (RLHF) improve et…