Mihai Christodorescu

According to our database, Mihai Christodorescu authored at least 59 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Securing the Future of GenAI: Policy and Technology.

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

IACR Cryptol. ePrint Arch., 2024

Natural Language Outlines for Code: Literate Programming in the LLM Era.

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

CoRR, 2024

Do Large Code Models Understand Programming Concepts? A Black-box Approach.

Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha

CoRR, 2024

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates.

Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

Identifying and Mitigating the Security Risks of Generative AI.

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

Found. Trends Priv. Secur., 2023

Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations.

Ahmed Abusnaina, Yizhen Wang, Sunpreet S. Arora, Ke Wang, Mihai Christodorescu, David Mohaisen

CoRR, 2023

Identifying and Mitigating the Security Risks of Generative AI.

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

CoRR, 2023

Formal Analysis of the API Proxy Problem.

Somesh Jha, Mihai Christodorescu, Anh Pham

CoRR, 2023

2022

CoRA: Collaborative Risk-Aware Authentication.

Mastooreh Salajegheh, Shashank Agrawal, Maliheh Shirvanian, Mihai Christodorescu, Payman Mohassel

IACR Cryptol. ePrint Arch., 2022

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

IACR Cryptol. ePrint Arch., 2022

Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors.

Mihai Christodorescu, Maliheh Shirvanian, Shams Zawoad

CoRR, 2022

An Optimal Energy Efficient Design of Artificial Noise for Preventing Power Leakage based Side-Channel Attacks.

Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu

CoRR, 2022

Optimal Energy Efficient Design of Artificial Noise to Prevent Side-Channel Attacks.

Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu

Proceedings of the IEEE International Workshop on Information Forensics and Security, 2022

Robust Learning against Relational Adversaries.

Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Amortized Threshold Symmetric-key Encryption.

Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha

IACR Cryptol. ePrint Arch., 2021

Universal Payment Channels: An Interoperability Platform for Digital Currencies.

Mihai Christodorescu, Erin English, Wanyun Catherine Gu, David Kreissman, Ranjit Kumaresan, Mohsen Minaei, Srinivasan Raghuraman, Cuy Sheffield, Arjuna Wijeyekoon, Mahdi Zamani

CoRR, 2021

2020

Privacy-Preserving Payment Splitting.

Saba Eskandarian, Mihai Christodorescu, Payman Mohassel

Proc. Priv. Enhancing Technol., 2020

Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies.

Mihai Christodorescu, Wanyun Catherine Gu, Ranjit Kumaresan, Mohsen Minaei, Mustafa Özdayi, Benjamin Price, Srinivasan Raghuraman, Muhammad Saad, Cuy Sheffield, Minghua Xu, Mahdi Zamani

CoRR, 2020

Robust Learning against Logical Adversaries.

Yizhen Wang, Xiaozhu Meng, Mihai Christodorescu, Somesh Jha

CoRR, 2020

2019

The House That Knows You: User Authentication Based on IoT Data.

Talha Ongun, Oliver Spohngellert, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh

CoRR, 2019

COSET: A Benchmark for Evaluating Neural Program Embeddings.

Ke Wang, Mihai Christodorescu

CoRR, 2019

2018

VeritasDB: High Throughput Key-Value Store with Integrity.

Rohit Sinha, Mihai Christodorescu

IACR Cryptol. ePrint Arch., 2018

The House That Knows You: User Authentication Based on IoT Data.

Talha Ongun, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways.

Abhinav Aggarwal, Mahdi Zamani, Mihai Christodorescu

CoRR, 2017

Enhancing Android Security Through App Splitting.

Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha

Proceedings of the Security and Privacy in Communication Networks, 2017

Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System.

Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha

Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017

2016

(Do Not) Track Me Sometimes: Users' Contextual Preferences for Web Tracking.

William Melicher, Mahmood Sharif, Joshua Tan, Lujo Bauer, Mihai Christodorescu, Pedro Giovanni Leon

Proc. Priv. Enhancing Technol., 2016

Passive security intelligence to analyze the security risks of mobile/BYOD activities.

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

IBM J. Res. Dev., 2016

The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection.

Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan

Proceedings of the 9th ACM International on Systems and Storage Conference, 2016

PIFT: Predictive Information-Flow Tracking.

Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

2015

Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems.

Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha

CoRR, 2015

2014

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

Proceedings of the 15th IEEE International Conference on Information Reuse and Integration, 2014

TroGuard: context-aware protection against web-based socially engineered trojans.

Rui Han, Alejandro Mesa, Mihai Christodorescu, Saman A. Zonouz

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Practical Comprehensive Bounds on Surreptitious Communication over DNS.

Vern Paxson, Mihai Christodorescu, Mobin Javed, Josyula R. Rao, Reiner Sailer, Douglas Lee Schales, Marc Ph. Stoecklin, Kurt Thomas, Wietse Z. Venema, Nicholas Weaver

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

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

Proceedings of the Symposium On Usable Privacy and Security, 2013

2012

A quantitative study of accuracy in system call-based malware detection.

Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12).

Mihai Christodorescu

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

End-to-End Software Diversification of Internet Services.

Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin

Proceedings of the Moving Target Defense, 2011

Dynamic Analysis.

Mihai Christodorescu, Vinod Ganapathy

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Monitoring Data Structures Using Hardware Transactional Memory.

Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu

Proceedings of the Runtime Verification - Second International Conference, 2011

Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms.

Matthew Fredrikson, Mihai Christodorescu, Somesh Jha

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

A Declarative Framework for Intrusion Analysis.

Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha

Proceedings of the Cyber Situational Awareness - Issues and Research, 2010

Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors.

Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

AccessMiner: using system-centric models for malware protection.

Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

Mining Large Information Networks by Graph Summarization.

Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han

Proceedings of the Link Mining: Models, Algorithms, and Applications, 2010

2009

Mining Graph Patterns Efficiently via Randomized Summaries.

Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han

Proc. VLDB Endow., 2009

Cloud security is not (just) virtualization security: a short paper.

Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales, Daniele Sgandurra, Diego Zamboni

Proceedings of the first ACM Cloud Computing Security Workshop, 2009

2008

A semantics-based approach to malware detection.

Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray

ACM Trans. Program. Lang. Syst., 2008

Mining specifications of malicious behavior.

Mihai Christodorescu, Somesh Jha, Christopher Kruegel

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

2007

Can Cooperative Intrusion Detectors Challenge the Base-Rate Fallacy?

Mihai Christodorescu, Shai Rubin

Proceedings of the Malware Detection, 2007

Software transformations to improve malware detection.

Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith

J. Comput. Virol., 2007

OmniUnpack: Fast, Generic, and Safe Unpacking of Malware.

Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2005

Semantics-Aware Malware Detection.

Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

String analysis for x86 binaries.

Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

An auctioning reputation system based on anomaly.

Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

Strengthening Software Self-Checksumming via Self-Modifying Code.

Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

Testing malware detectors.

Mihai Christodorescu, Somesh Jha

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Static Analysis of Executables to Detect Malicious Patterns.

Mihai Christodorescu, Somesh Jha

Proceedings of the 12th USENIX Security Symposium, Washington, D.C., USA, August 4-8, 2003, 2003

2001

Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes.

Barton P. Miller, Mihai Christodorescu, Robert Iverson, Tevfik Kosar, Alexander Mirgorodskii, Florentina I. Popovici

Parallel Process. Lett., 2001