Mihai Christodorescu
- Agent Security is a Systems Problem
2026/05/18 by Mihai Christodorescu, Earlence Fernandes, Ashish Hooda +11 · 3 voices
Computer Science · #cs.CR #cs.AI
- Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
2024/02/08 by Ashish Hooda, Hooda, Ashish, Mihai Christodorescu +9 · 10 citations
Computer Science · #Artificial Intelligence (cs.AI) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research
- Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors
2010/01/01 by Matt Fredrikson, Somesh Jha, Mihai Christodorescu +2 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Network Security and Intrusion Detection #Spam and Phishing Detection
- Natural Language Outlines for Code: Literate Programming in the LLM Era
2024/08/09 by Kensen Shi, Deniz Altınbüken, Saswat Anand +18 · 4 voices
Computer Science · #Digital Rights Management and Security #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #cs.AI #cs.CL #cs.HC #cs.LG #cs.SE
- Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies
2020/12/14 by Mihai Christodorescu, Christodorescu, Mihai, Wanyun Catherine Gu +20 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cloud Data Security Solutions #Advanced Data Storage Technologies
- Mining specifications of malicious behavior
2007/09/07 by Mihai Christodorescu, Somesh Jha, Christopher Kruegel · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Software Engineering Research #Software Testing and Debugging Techniques
- Securing the Future of GenAI: Policy and Technology
2024/05/21 by Mihai Christodorescu, Christodorescu, Mihai, Ryan Craven +24 · 2 citations
Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Research Data Management Practices #Scientific Computing and Data Management
- Formal Analysis of the API Proxy Problem
2023/02/27 by Somesh Jha, Jha, Somesh, Mihai Christodorescu +3 · 1 citation
Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Security and Verification in Computing #Web Application Security Vulnerabilities
- Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations
2023/10/05 by Ahmed Abusnaina, Yizhen Wang, Abusnaina, Ahmed +9 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Network Security and Intrusion Detection