Christodorescu, Mihai
- Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
2024/02/08 by Ashish Hooda, Mihai Christodorescu, Hooda, Ashish +9 · 8 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
- Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies
2020/12/14 by Mihai Christodorescu, Wanyun Catherine Gu, Christodorescu, Mihai +20 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cloud Data Security Solutions #Advanced Data Storage Technologies
- Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors
2022/11/23 by Christodorescu, Mihai, Shirvanian, Maliheh, Zawoad, Shams · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- Formal Analysis of the API Proxy Problem
2023/02/27 by Jha, Somesh, Christodorescu, Mihai, Pham, Anh · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences
- 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
- SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
2025/03/16 by Zhou, Tianyang, Zhang, Ziyi, Lin, Haowen +4 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- Securing the Future of GenAI: Policy and Technology
2024/05/21 by Mihai Christodorescu, Christodorescu, Mihai, Ryan Craven +24 · 1 citation
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