2 papers
cs.CR2025
Certifiably robust malware detectors by design
Pierre-Francois Gimenez, Sarath Sivaprasad, Mario Fritz
Malware analysis involves analyzing suspicious software to detect malicious payloads. Static malware analysis, which does not require software execution, relies increasingly on mac…
cs.AI2025
Mapping AI Benchmark Data to Quantitative Risk Estimates Through Expert Elicitation
Malcolm Murray, Henry Papadatos, Otter Quarks +2
The literature and multiple experts point to many potential risks from large language models (LLMs), but there are still very few direct measurements of the actual harms posed. AI…