https://docs.qwedai.com/mcp/overview
QWED MCP: Model Context Protocol security and verification - QWED Documentation
QWED MCP is a Model Context Protocol security layer for AI agents. Verify tool calls, detect poisoned MCP tools, and run deterministic checks before execution.
mcp model context protocolsecurity and verificationdocumentation
https://cs.tu-dortmund.de/en/forschung/forschungsprofil/software-security-and-verification/
Software, security and verification - Computer Science - TU Dortmund
security and verificationcomputer sciencesoftwaretudortmund