Mihai Christodorescu

Most-cited papers

Semantics-aware malware detection
Mihai Christodorescu, S. Jha, S. Seshia, D. Song +1 more
2005IEEE Symposium on Security and Privacy825 citations Open access
Semantic Scholar
Static Analysis of Executables to Detect Malicious Patterns
Mihai Christodorescu, S. Jha
2003USENIX Security Symposium781 citations Open access
Semantic Scholar
Testing malware detectors
Mihai Christodorescu, S. Jha
2004International Symposium on Software Testing and Analysis356 citations
Semantic Scholar
Mining specifications of malicious behavior
Mihai Christodorescu, S. Jha, Christopher Krügel
2008International Symposium on Electronic Commerce283 citations
Semantic Scholar
OmniUnpack: Fast, Generic, and Safe Unpacking of Malware
L. Martignoni, Mihai Christodorescu, S. Jha
2007Asia-Pacific Computer Systems Architecture Conference266 citations
Semantic Scholar
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors
Matt Fredrikson, S. Jha, Mihai Christodorescu, R. Sailer +1 more
2010IEEE Symposium on Security and Privacy246 citations
Semantic Scholar
AccessMiner: using system-centric models for malware protection
A. Lanzi, D. Balzarotti, Christopher Krügel, Mihai Christodorescu +1 more
2010Conference on Computer and Communications Security222 citations
Semantic Scholar
A semantics-based approach to malware detection
M. Preda, Mihai Christodorescu, S. Jha, S. Debray
2007ACM-SIGACT Symposium on Principles of Programming Languages208 citations Open access
Semantic Scholar
Mining specifications of malicious behavior
Mihai Christodorescu, S. Jha, Christopher Krügel
2007ESEC-FSE '07199 citations Open access
Semantic Scholar
Cloud security is not (just) virtualization security: a short paper
Mihai Christodorescu, R. Sailer, D. Schales, D. Sgandurra +1 more
2009Cloud Computing Security Workshop197 citations Open access
Semantic Scholar
What matters to users?: factors that affect users' willingness to share information with online advertisers
P. Leon, Blase Ur, Yang Wang, Manya Sleeper +5 more
2013Symposium On Usable Privacy and Security172 citations
Semantic Scholar
A quantitative study of accuracy in system call-based malware detection
D. Canali, A. Lanzi, D. Balzarotti, Christopher Krügel +2 more
2012International Symposium on Software Testing and Analysis157 citations
Semantic Scholar
Identifying and Mitigating the Security Risks of Generative AI
Clark W. Barrett, Bradley L Boyd, Elie Bursztein, Nicholas Carlini +19 more
2023Found. Trends Priv. Secur.145 citations
Semantic Scholar
A semantics-based approach to malware detection
M. Preda, Mihai Christodorescu, S. Jha, S. Debray
2008TOPL100 citations Open access
Semantic Scholar
Cloud Security Is Not (Just) Virtualization Security
Mihai Christodorescu, R. Sailer, Douglas Lee, Schales +2 more
200992 citations
Semantic Scholar
Strengthening software self-checksumming via self-modifying code
Jonathon T. Giffin, Mihai Christodorescu, L. Kruger
2005Asia-Pacific Computer Systems Architecture Conference88 citations
Semantic Scholar
(Do Not) Track Me Sometimes: Users’ Contextual Preferences for Web Tracking
William Melicher, Mahmood Sharif, Joshua Tan, Lujo Bauer +2 more
2016Proceedings on Privacy Enhancing Technologies84 citations Open access
Semantic Scholar
Mining Graph Patterns Efficiently via Randomized Summaries
Cheng Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu +2 more
2009Proceedings of the VLDB Endowment81 citations
Semantic Scholar
Malware Normalization
Mihai Christodorescu, Johannes Kinder, S. Jha, Stefan Katzenbeisser +1 more
200577 citations
Semantic Scholar
Security and Privacy in Communication Networks
Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha
2017Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering62 citations
Semantic Scholar
Practical Comprehensive Bounds on Surreptitious Communication over DNS
V. Paxson, Mihai Christodorescu, M. Javed, J. Rao +6 more
2013USENIX Security Symposium61 citations
Semantic Scholar
Malware Detection (Advances in Information Security)
Mihai Christodorescu, S. Jha, D. Maughan, D. Song +1 more
200659 citations
Semantic Scholar
Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu +1 more
2017International Conference on Internet-of-Things Design and Implementation57 citations Open access
Semantic Scholar
String analysis for x86 binaries
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
2005Workshop on Program Analysis For Software Tools and Engineering52 citations
Semantic Scholar
An auctioning reputation system based on anomaly
Shai Rubin, Mihai Christodorescu, V. Ganapathy, Jonathon T. Giffin +3 more
2005Conference on Computer and Communications Security47 citations Open access
Semantic Scholar
COSET: A Benchmark for Evaluating Neural Program Embeddings
Ke Wang, Mihai Christodorescu
2019arXiv.org41 citations
Semantic Scholar
Software transformations to improve malware detection
Mihai Christodorescu, S. Jha, Johannes Kinder, Stefan Katzenbeisser +1 more
2007Journal in Computer Virology41 citations Open access
Semantic Scholar
VeritasDB: High Throughput Key-Value Store with Integrity
Rohit Sinha, Mihai Christodorescu
2018IACR Cryptology ePrint Archive36 citations
Semantic Scholar
End-to-End Software Diversification of Internet Services
Mihai Christodorescu, Matt Fredrikson, S. Jha, Jonathon T. Giffin
2011Moving Target Defense35 citations
Semantic Scholar
Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes
B. Miller, Mihai Christodorescu, Rob Iverson, T. Kosar +2 more
2001Parallel Processing Letters34 citations
Semantic Scholar
Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies
Mihai Christodorescu, W. Gu, R. Kumaresan, Mohsen Minaei +7 more
2020arXiv.org31 citations
Semantic Scholar
Natural Language Outlines for Code: Literate Programming in the LLM Era
Kensen Shi, Deniz Altınbüken, Saswat Anand, Mihai Christodorescu +16 more
2024SIGSOFT FSE Companion29 citations Open access
Semantic Scholar
Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson +2 more
2024International Conference on Machine Learning22 citations
Semantic Scholar
Inter-Disciplinary Research Challenges in Computer Systems for the 2020s
Albert Cohen, Xi-Peng Shen, J. Torrellas, James Tuck +48 more
201820 citations
Semantic Scholar
Securing the Future of GenAI: Policy and Technology
Mihai Christodorescu, Ryan Craven, S. Feizi, N. Gong +10 more
2024IACR Cryptology ePrint Archive19 citations
Semantic Scholar
Behavior-based malware detection
S. Jha, Mihai Christodorescu
200718 citations
Semantic Scholar
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
Tianyang Zhou, Zi-Yi Zhang, Hao Lin, Somesh Jha +3 more
2025Annual Meeting of the Association for Computational Linguistics15 citations Open access
Semantic Scholar
Private Use of Untrusted Web Servers via Opportunistic Encryption
Mihai Christodorescu
200815 citations
Semantic Scholar
Systems Security Foundations for Agentic Computing
Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha +10 more
2025IACR Cryptology ePrint Archive14 citations
Semantic Scholar
Amortized Threshold Symmetric-key Encryption
Mihai Christodorescu, S. Gaddam, Pratyay Mukherjee, Rohit Sinha
2021IACR Cryptology ePrint Archive13 citations
Semantic Scholar
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms
Matt Fredrikson, Mihai Christodorescu, S. Jha
2011CADE13 citations
Semantic Scholar
The House That Knows You: User Authentication Based on IoT Data
Talha Ongun, Oliver Spohngellert, Alina Oprea, C. Nita-Rotaru +2 more
2019arXiv.org12 citations
Semantic Scholar
PIFT: Predictive Information-Flow Tracking
Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu
2016International Conference on Architectural Support for Programming Languages and Operating Systems12 citations
Semantic Scholar
Do Large Code Models Understand Programming Concepts? A Black-box Approach
Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson +2 more
2024arXiv.org9 citations
Semantic Scholar
Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations
Ahmed A. Abusnaina, Yizhen Wang, Sunpreet S. Arora, Ke Wang +2 more
2023arXiv.org9 citations Open access
Semantic Scholar
Universal Payment Channels: An Interoperability Platform for Digital Currencies
Mihai Christodorescu, E. English, W. Gu, David Kreissman +6 more
2021arXiv.org9 citations
Semantic Scholar
Passive security intelligence to analyze the security risks of mobile/BYOD activities
M. Stoecklin, Kapil Singh, Larry Koved, Xin Hu +6 more
2016IBM Journal of Research and Development9 citations
Semantic Scholar
Robust Learning against Relational Adversaries
Yizhen Wang, Mohannad J. Alhanahnah, Xiaozhu Meng, Ke Wang +2 more
2022Neural Information Processing Systems8 citations
Semantic Scholar
Stream computing for large-scale, multi-channel cyber threat analytics
D. Schales, Mihai Christodorescu, Xin Hu, Ji-Yong Jang +5 more
2014Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)8 citations
Semantic Scholar
A Declarative Framework for Intrusion Analysis
Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jhas
2010Cyber Situational Awareness8 citations Open access
Semantic Scholar