会员服务
DRAMPyML: A Formal Description of DRAM Protocols with Timed Petri Nets
Arxiv
0+阅读 · 2月11日
Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
Arxiv
0+阅读 · 2月9日
Breaking the Protocol: Security Analysis of the Model Context Protocol Specification and Prompt Injection Vulnerabilities in Tool-Integrated LLM Agents
Arxiv
0+阅读 · 1月24日
Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
Arxiv
0+阅读 · 2025年11月22日
参考链接
微信扫码咨询专知VIP会员
Top