Mihai Christodorescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
16
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? | Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen |
| 2026 | ACL | SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification. | Tianyang Zhou, Ziyi Zhang, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran |
| 2026 | CHI | Uncovering Relationships Between Android Developers, User Privacy, and Developer Willingness to Reduce Fingerprinting Risks. | Alex Berke, Gliz Seray Tuncay, Michael A. Specter, Mihai Christodorescu |
| 2025 | CCS | Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting. | Michael A. Specter, Mihai Christodorescu, Abbie Farr, Bo Ma, Robin Lassonde |
| 2024 | ICML | Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates. | Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha |
| 2023 | CANS | A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-Sized Sets. | Saikrishna Badrinarayanan, Ranjit Kumaresan, Mihai Christodorescu, Vinjith Nagaraja, Karan Patel, Srinivasan Raghuraman, Peter Rindal, Wei Sun, Minghua Xu |
| 2021 | CCS | Amortized Threshold Symmetric-key Encryption. | Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha |
| 2018 | CCS | The House That Knows You: User Authentication Based on IoT Data. | Talha Ongun, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh |
| 2017 | SecureComm | Enhancing Android Security Through App Splitting. | Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha |
| 2016 | ASPLOS | PIFT: Predictive Information-Flow Tracking. | Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu |
| 2016 | SYSTOR | The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. | Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan |
| 2014 | ACSAC | TroGuard: context-aware protection against web-based socially engineered trojans. | Rui Han, Alejandro Mesa, Mihai Christodorescu, Saman A. Zonouz |
| 2014 | IRI | Stream computing for large-scale, multi-channel cyber threat analytics. | Douglas Lee Schales, Mihai Christodorescu, Xin Hu, Jiyong Jang, Josyula R. Rao, Reiner Sailer, Marc Ph. Stoecklin, Wietse Z. Venema, Ting Wang |
| 2013 | SOUPS | What matters to users?: factors that affect users' willingness to share information with online advertisers. | Pedro Giovanni Leon, Blase Ur, Yang Wang, Manya Sleeper, Rebecca Balebako, Richard Shay, Lujo Bauer, Mihai Christodorescu, Lorrie Faith Cranor |
| 2012 | CCS | Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12). | Mihai Christodorescu |
| 2012 | ISSTA | A quantitative study of accuracy in system call-based malware detection. | Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda |
| 2011 | CADE | Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. | Matthew Fredrikson, Mihai Christodorescu, Somesh Jha |
| 2011 | RV | Monitoring Data Structures Using Hardware Transactional Memory. | Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu |
| 2010 | CCS | AccessMiner: using system-centric models for malware protection. | Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda |
| 2010 | SP | Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. | Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan |
| 2009 | CCS | Cloud security is not (just) virtualization security: a short paper. | Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales, Daniele Sgandurra, Diego Zamboni |
| 2007 | ACSAC | OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. | Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha |
| 2007 | POPL | A semantics-based approach to malware detection. | Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray |
| 2005 | ACSAC | Strengthening Software Self-Checksumming via Self-Modifying Code. | Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger |
| 2005 | CCS | An auctioning reputation system based on anomaly. | Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd |
| 2005 | SP | Semantics-Aware Malware Detection. | Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant |
| 2004 | ISSTA | Testing malware detectors. | Mihai Christodorescu, Somesh Jha |