Mihai Christodorescu

78 papers A* 14A 7B 2C 1Misc 2Journal 36Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Uncovering Relationships Between Android Developers, User Privacy, and Developer Willingness to Reduce Fingerprinting Risks. CHI Alex Berke, Güliz Seray Tuncay, Michael A. Specter, Mihai Christodorescu
2026	J	`jnl`	Uncovering Relationships between Android Developers, User Privacy, and Developer Willingness to Reduce Fingerprinting Risks. CoRR Alex Berke, Güliz Seray Tuncay, Michael A. Specter, Mihai Christodorescu
2025	J	`jnl`	Auto-SPT: Automating Semantic Preserving Transformations for Code. CoRR Ashish Hooda, Mihai Christodorescu, Chuangang Ren, Aaron Wilson, Kassem Fawaz, Somesh Jha
2025	A*	`conf`	Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting. CCS Michael A. Specter, Mihai Christodorescu, Abbie Farr, Bo Ma, Robin Lassonde
2025	J	`jnl`	Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting. CoRR Michael A. Specter, Mihai Christodorescu, Abbie Farr, Bo Ma, Robin Lassonde, Xiaoyang Xu, Xiang Pan, Fengguo Wei, Saswat Anand, Dave Kleidermacher
2025	J	`jnl`	LLM-Driven Multi-step Translation from C to Rust using Static Analysis. CoRR Tianyang Zhou, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran
2025	—	`conf`	Natural Language Outlines for Code: Literate Programming in the LLM Era. SIGSOFT FSE Companion Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2025	J	`jnl`	Systems Security Foundations for Agentic Computing. CoRR Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha, Johann Rehberger, Khawaja Shams
2025	J	`jnl`	Systems Security Foundations for Agentic Computing. IACR Cryptol. ePrint Arch. Mihai Christodorescu, Earlence Fernandes, Ashish Hooda, Somesh Jha, Johann Rehberger, Khawaja Shams
2025	J	`jnl`	When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? CoRR Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen
2024	J	`jnl`	Do Large Code Models Understand Programming Concepts? A Black-box Approach. CoRR Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
2024	A*	`conf`	Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates. ICML Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
2024	J	`jnl`	Natural Language Outlines for Code: Literate Programming in the LLM Era. CoRR Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2024	J	`jnl`	Securing the Future of GenAI: Policy and Technology. CoRR Mihai Christodorescu, Ryan Craven, Soheil Feizi, Neil Gong, Mia Hoffmann, Somesh Jha, Zhengyuan Jiang, Mehrdad Saberi Kamarposhti, John C. Mitchell, Jessica Newman, Emelia Probasco, Yanjun Qi, Khawaja Shams, Matthew Turek
2024	J	`jnl`	Securing the Future of GenAI: Policy and Technology. IACR Cryptol. ePrint Arch. Mihai Christodorescu, Ryan Craven, Soheil Feizi, Neil Zhenqiang Gong, Mia Hoffmann, Somesh Jha, Zhengyuan Jiang, Mehrdad Saberi Kamarposhti, John C. Mitchell, Jessica Newman, Emelia Probasco, Yanjun Qi, Khawaja Shams, Matthew Turek
2023	B	`conf`	A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-Sized Sets. CANS Saikrishna Badrinarayanan, Ranjit Kumaresan, Mihai Christodorescu, Vinjith Nagaraja, Karan Patel, Srinivasan Raghuraman, Peter Rindal, Wei Sun, Minghua Xu
2023	J	`jnl`	Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations. CoRR Ahmed Abusnaina, Yizhen Wang, Sunpreet S. Arora, Ke Wang, Mihai Christodorescu, David Mohaisen
2023	J	`jnl`	Formal Analysis of the API Proxy Problem. CoRR Somesh Jha, Mihai Christodorescu, Anh Pham
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. CoRR Clark W. Barrett, Brad Boyd, Ellie Burzstein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
2023	J	`jnl`	Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. Clark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
2022	J	`jnl`	A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-sized Sets. IACR Cryptol. ePrint Arch. Saikrishna Badrinarayanan, Ranjit Kumaresan, Mihai Christodorescu, Vinjith Nagaraja, Karan Patel, Srinivasan Raghuraman, Peter Rindal, Wei Sun, Minghua Xu
2022	J	`jnl`	An Optimal Energy Efficient Design of Artificial Noise for Preventing Power Leakage based Side-Channel Attacks. CoRR Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu
2022	J	`jnl`	CoRA: Collaborative Risk-Aware Authentication. IACR Cryptol. ePrint Arch. Mastooreh Salajegheh, Shashank Agrawal, Maliheh Shirvanian, Mihai Christodorescu, Payman Mohassel
2022	—	`conf`	Optimal Energy Efficient Design of Artificial Noise to Prevent Side-Channel Attacks. WIFS Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu
2022	J	`jnl`	Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors. CoRR Mihai Christodorescu, Maliheh Shirvanian, Shams Zawoad
2022	A*	`conf`	Robust Learning against Relational Adversaries. NeurIPS Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha
2021	A*	`conf`	Amortized Threshold Symmetric-key Encryption. CCS Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha
2021	J	`jnl`	Amortized Threshold Symmetric-key Encryption. IACR Cryptol. ePrint Arch. Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha
2021	J	`jnl`	Universal Payment Channels: An Interoperability Platform for Digital Currencies. CoRR Mihai Christodorescu, Erin English, Wanyun Catherine Gu, David Kreissman, Ranjit Kumaresan, Mohsen Minaei, Srinivasan Raghuraman, Cuy Sheffield, Arjuna Wijeyekoon, Mahdi Zamani
2020	J	`jnl`	Privacy-Preserving Payment Splitting. Proc. Priv. Enhancing Technol. Saba Eskandarian, Mihai Christodorescu, Payman Mohassel
2020	J	`jnl`	Robust Learning against Logical Adversaries. CoRR Yizhen Wang, Xiaozhu Meng, Mihai Christodorescu, Somesh Jha
2020	J	`jnl`	Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies. CoRR Mihai Christodorescu, Wanyun Catherine Gu, Ranjit Kumaresan, Mohsen Minaei, Mustafa Özdayi, Benjamin Price, Srinivasan Raghuraman, Muhammad Saad, Cuy Sheffield, Minghua Xu, Mahdi Zamani
2019	J	`jnl`	COSET: A Benchmark for Evaluating Neural Program Embeddings. CoRR Ke Wang, Mihai Christodorescu
2019	J	`jnl`	Privacy-Preserving Payment Splitting. CoRR Saba Eskandarian, Mihai Christodorescu, Payman Mohassel
2019	J	`jnl`	The House That Knows You: User Authentication Based on IoT Data. CoRR Talha Ongun, Oliver Spohngellert, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh
2018	A*	`conf`	The House That Knows You: User Authentication Based on IoT Data. CCS Talha Ongun, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh
2018	J	`jnl`	VeritasDB: High Throughput Key-Value Store with Integrity. IACR Cryptol. ePrint Arch. Rohit Sinha, Mihai Christodorescu
2017	C	`conf`	Enhancing Android Security Through App Splitting. SecureComm Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha
2017	—	`conf`	Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. IoTDI Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
2017	J	`jnl`	REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways. CoRR Abhinav Aggarwal, Mahdi Zamani, Mihai Christodorescu
2016	J	`jnl`	(Do Not) Track Me Sometimes: Users' Contextual Preferences for Web Tracking. Proc. Priv. Enhancing Technol. William Melicher, Mahmood Sharif, Joshua Tan, Lujo Bauer, Mihai Christodorescu, Pedro Giovanni Leon
2016	A*	`conf`	PIFT: Predictive Information-Flow Tracking. ASPLOS Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu
2016	J	`jnl`	Passive security intelligence to analyze the security risks of mobile/BYOD activities. IBM J. Res. Dev. Marc Ph. Stoecklin, Kapil Singh, Larry Koved, Xin Hu, Suresh N. Chari, Josyula R. Rao, Pau-Chen Cheng, Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales
2016	Misc	`conf`	The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan
2015	J	`jnl`	Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. CoRR Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
2014	Misc	`conf`	Stream computing for large-scale, multi-channel cyber threat analytics. IRI Douglas Lee Schales, Mihai Christodorescu, Xin Hu, Jiyong Jang, Josyula R. Rao, Reiner Sailer, Marc Ph. Stoecklin, Wietse Z. Venema, Ting Wang
2014	A	`conf`	TroGuard: context-aware protection against web-based socially engineered trojans. ACSAC Rui Han, Alejandro Mesa, Mihai Christodorescu, Saman A. Zonouz
2013	A*	`conf`	Practical Comprehensive Bounds on Surreptitious Communication over DNS. USENIX Security Symposium Vern Paxson, Mihai Christodorescu, Mobin Javed, Josyula R. Rao, Reiner Sailer, Douglas Lee Schales, Marc Ph. Stoecklin, Kurt Thomas, Wietse Z. Venema, Nicholas Weaver
2013	—	`conf`	Synthesizing near-optimal malware specifications from suspicious behaviors. MALWARE Somesh Jha, Matthew Fredrikson, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
2013	A	`conf`	What matters to users?: factors that affect users' willingness to share information with online advertisers. SOUPS Pedro Giovanni Leon, Blase Ur, Yang Wang, Manya Sleeper, Rebecca Balebako, Richard Shay, Lujo Bauer, Mihai Christodorescu, Lorrie Faith Cranor
2012	A	`conf`	A quantitative study of accuracy in system call-based malware detection. ISSTA Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda
2012	—	`ed.`	Proceedings of the 2012 ACM Workshop on Building analysis datasets and gathering experience returns for security, BADGERS '12, Raleigh, North Carolina, USA, October 15, 2012 BADGERS@CCS Ting Yu, Mihai Christodorescu
2012	A*	`conf`	Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12). CCS Mihai Christodorescu
2011	—	`ch.`	Dynamic Analysis. Encyclopedia of Cryptography and Security (2nd Ed.) Mihai Christodorescu, Vinod Ganapathy
2011	A	`conf`	Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE Matthew Fredrikson, Mihai Christodorescu, Somesh Jha
2011	—	`ch.`	End-to-End Software Diversification of Internet Services. Moving Target Defense Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin
2011	B	`conf`	Monitoring Data Structures Using Hardware Transactional Memory. RV Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu
2010	—	`ch.`	A Declarative Framework for Intrusion Analysis. Cyber Situational Awareness Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha
2010	A*	`conf`	AccessMiner: using system-centric models for malware protection. CCS Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda
2010	—	`ch.`	Mining Large Information Networks by Graph Summarization. Link Mining Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han
2010	A*	`conf`	Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. IEEE Symposium on Security and Privacy Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
2009	—	`conf`	Cloud security is not (just) virtualization security: a short paper. CCSW Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales, Daniele Sgandurra, Diego Zamboni
2009	J	`jnl`	Mining Graph Patterns Efficiently via Randomized Summaries. Proc. VLDB Endow. Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han
2008	J	`jnl`	A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
2008	—	`conf`	Mining specifications of malicious behavior. ISEC Mihai Christodorescu, Somesh Jha, Christopher Kruegel
2007	A*	`conf`	A semantics-based approach to malware detection. POPL Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
2007	—	`ch.`	Can Cooperative Intrusion Detectors Challenge the Base-Rate Fallacy? Malware Detection Mihai Christodorescu, Shai Rubin
2007	—	`book`	Malware Detection Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang
2007	—	`conf`	Mining specifications of malicious behavior. ESEC/SIGSOFT FSE Mihai Christodorescu, Somesh Jha, Christopher Kruegel
2007	A	`conf`	OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. ACSAC Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha
2007	J	`jnl`	Software transformations to improve malware detection. J. Comput. Virol. Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
2005	A*	`conf`	An auctioning reputation system based on anomaly. CCS Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd
2005	—	`conf`	Semantics-Aware Malware Detection. S&P Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant
2005	A	`conf`	Strengthening Software Self-Checksumming via Self-Modifying Code. ACSAC Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger
2005	—	`conf`	String analysis for x86 binaries. PASTE Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
2004	A	`conf`	Testing malware detectors. ISSTA Mihai Christodorescu, Somesh Jha
2003	A*	`conf`	Static Analysis of Executables to Detect Malicious Patterns. USENIX Security Symposium Mihai Christodorescu, Somesh Jha
2001	J	`jnl`	Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes. Parallel Process. Lett. Barton P. Miller, Mihai Christodorescu, Robert Iverson, Tevfik Kosar, Alexander Mirgorodskii, Florentina I. Popovici