24 citations · 26 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
Runtime Authorization Consistency Checking for MCP-based Agentic Workflows
Aiyao Zhang, Xiaodong Lee, Zhixian Zhuang +1
Agentic systems increasingly fulfill user requests through multi-step tool workflows over files, services, and external resources. In these workflows, isolated per-call checks can…
cs.DB2026
PDET-LSH: Scalable In-Memory Indexing for High-Dimensional Approximate Nearest Neighbor Search with Quality Guarantees
Jiuqi Wei, Xiaodong Lee, Botao Peng +3
Locality-sensitive hashing (LSH) is a well-known solution for approximate nearest neighbor (ANN) search with theoretical guarantees. Traditional LSH-based methods mainly focus on i…