Semantic search is widely deployed in modern AI systems, but protecting both data contents and access patterns remains challenging. The current state-of-the-art system, Compass, achieves oblivious semantic search by building an optimized ORAM over HNSW graphs. However, even with aggressive optimizations, it still incur...
Jian Du, Wei-Jie Huang, Cheng-Hong Wang et al.· 0 citations
Bulkhead is an automated framework that integrates large language models (LLMs) with formal methods for semantic vulnerability discovery and remediation, and uses a multi-agent system to identify and repair PaTra vulnerabilities through multi-dimensional knowledge patterns generalized from known cases.
Qiyuan Fan, Zhi Li, Junjie Li et al.· arXiv.org· 0 citations
A novel, model-feedback-free LRM-DoS paradigm that employs the conflict count derived from an Satisfiability Modulo Theories (SMT) solver as a low-cost external signal to guide the synthesis of inference-heavy Constraint Satisfaction Problem (CSP) instances.
Jian Yang, Zhenqi Feng, Zhaoyang Yu et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.