3 papers
cs.CR2025
Can AI Keep a Secret? Contextual Integrity Verification: A Provable Security Architecture for LLMs
Aayush Gupta
Large language models (LLMs) remain acutely vulnerable to prompt injection and related jailbreak attacks; heuristic guardrails (rules, filters, LLM judges) are routinely bypassed.…
cs.LG2025
Cold-RL: Learning Cache Eviction with Offline Reinforcement Learning for NGINX
Aayush Gupta, Arpit Bhayani
Web proxies such as NGINX commonly rely on least-recently-used (LRU) eviction, which is size agnostic and can thrash under periodic bursts and mixed object sizes. We introduce Cold…
cs.DC2025
Fully-Distributed Construction of Byzantine-Resilient Dynamic Peer-to-Peer Networks
Aayush Gupta, Gopal Pandurangan
We address a fundamental problem in Peer-to-Peer (P2P) networks, namely, constructing and maintaining dynamic P2P overlay network topologies with essential properties such as conne…