5 citations · 8 across the 4 of their papers we have counts for
3 papers
Securing the Future of GenAI: Policy and Technology
Mihai Christodorescu, Ryan Craven, Soheil Feizi +11
The rise of Generative AI (GenAI) brings about transformative potential across sectors, but its dual-use nature also amplifies risks. Governments globally are grappling with the ch…
Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations
Ahmed Abusnaina, Yizhen Wang, Sunpreet Arora +3
Toward robust malware detection, we explore the attack surface of existing malware detection systems. We conduct root-cause analyses of the practical binary-level black-box adversa…
Formal Analysis of the API Proxy Problem
Somesh Jha, Mihai Christodorescu, Anh Pham
Implementing a security mechanism on top of APIs requires clear understanding of the semantics of each API, to ensure that security entitlements are enforced consistently and compl…