Raluca Ada Popa
Scholar

Raluca Ada Popa

Google Scholar ID: NvKHgzkAAAAJ
Professor of computer science, UC Berkeley
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,432
 
H-index
50
 
i10-index
76
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
15 items
Antiproof: Synthesizing Vulnerability Detectors and Proofs of Exploitability
2026
Cited
0
Prismata: Confining Cross-Site Prompt Injection in Web Agents
2026
Cited
0
ShannonProver: Towards Automating Formal Cryptographic Proofs
2026
Cited
0
Chai: Agentic Discovery of Cryptographic Misuse Vulnerabilities
2026
Cited
0
Hidden Thoughts Are Not Secret: Reasoning Trace Exposure in LLMs
2026
Cited
0
GradShield: Alignment Preserving Finetuning
2026
Cited
0
Web Agents Should Adopt the Plan-Then-Execute Paradigm
2026
Cited
0
Onyx: Cost-Efficient Disk-Oblivious ANN Search
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)