12 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.CR2026
MobileCybench: Evaluating Agent Vulnerability Discovery via Executable Probes
Andy K. Zhang, Ava Huang, Joey Ji +21
AI agents now report vulnerabilities faster than maintainers can review them. Reports often depend on security properties specific to the application, and require considerable huma…
cs.CR2026
Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability
Alon Shakevsky, Corban Villa, Ion Stoica +1
Discovering vulnerabilities before attackers exploit them requires high recall and reliable automatic validation, but existing approaches struggle to achieve both without prohibiti…
cs.CR2019★ 12 cited
Helen: Maliciously Secure Coopetitive Learning for Linear Models
Wenting Zheng, Raluca Ada Popa, Joseph E. Gonzalez +1
Many organizations wish to collaboratively train machine learning models on their combined datasets for a common benefit (e.g., better medical research, or fraud detection). Howeve…