22 citations · 41 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CR2025
"MCP Does Not Stand for Misuse Cryptography Protocol": Uncovering Cryptographic Misuse in Model Context Protocol at Scale
Biwei Yan, Yue Zhang, Minghui Xu +5
The Model Context Protocol (MCP) is rapidly emerging as the middleware for LLM-based applications, offering a standardized interface for tool integration. However, its built-in sec…
cs.CR2025
What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection
Biwei Yan, Yue Zhang, Minghui Xu +3
The application layer of Bluetooth Low Energy (BLE) is a growing source of security vulnerabilities, as developers often neglect to implement critical protections such as encryptio…