2 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.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…