100 citations · 142 across the 16 of their papers we have counts for
3 papers · 1 filter
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining
Ashwin Karthikeyan, Ethan Kharitonov, Kuldeep S. Meel +1
Proofs of UNSAT are a standard primitive in formal verification and software assurance. In many real-world settings, the proof itself encodes proprietary or security-sensitive info…
Atlas: Efficient Verifiable Semantic Search
Nikolay Avramov, Hidde Lycklama, Alexander Viand +1
Semantic search is a core primitive of modern applications, powering recommender systems, web search, and retrieval-augmented generation for language models. The provider controls…
Enhancing Privacy, Neglecting Harms: An Analysis of Real-World Digital Privacy Incidents
Shannon Veitch, C. Shem, Lena Csomor +7
Privacy-enhancing technologies (PETs) have emerged as a technical means for providing individuals with greater control over their information. Yet despite the growing deployment of…