Mihai Christodorescu

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 32

Top Topics

Intrusion Detection

Formal Analysis

Programming Concepts

Top Venues

IACR Cryptol. ePrint Arch.

Proc. Priv. Enhancing Technol.

Publications

Ashish Hooda, Mihai Christodorescu, Miltos Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha
Do Large Code Models Understand Programming Concepts? A Black-box Approach. CoRR (2024)
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
Securing the Future of GenAI: Policy and Technology. IACR Cryptol. ePrint Arch. 2024 (2024)
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
Securing the Future of GenAI: Policy and Technology. CoRR (2024)
Saikrishna Badrinarayanan, Ranjit Kumaresan, Mihai Christodorescu, Vinjith Nagaraja, Karan Patel, Srinivasan Raghuraman, Peter Rindal, Wei Sun, Minghua Xu
A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-Sized Sets. CANS (2023)
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
Identifying and Mitigating the Security Risks of Generative AI. CoRR (2023)
Ahmed Abusnaina, Yizhen Wang, Sunpreet S. Arora, Ke Wang, Mihai Christodorescu, David Mohaisen
Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations. CoRR (2023)
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
Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. 6 (1) (2023)
Somesh Jha, Mihai Christodorescu, Anh Pham
Formal Analysis of the API Proxy Problem. CoRR (2023)
Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha
Robust Learning against Relational Adversaries. NeurIPS (2022)
Saikrishna Badrinarayanan, Ranjit Kumaresan, Mihai Christodorescu, Vinjith Nagaraja, Karan Patel, Srinivasan Raghuraman, Peter Rindal, Wei Sun, Minghua Xu
A Plug-n-Play Framework for Scaling Private Set Intersection to Billion-sized Sets. IACR Cryptol. ePrint Arch. 2022 (2022)
Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu
An Optimal Energy Efficient Design of Artificial Noise for Preventing Power Leakage based Side-Channel Attacks. CoRR (2022)
Mastooreh Salajegheh, Shashank Agrawal, Maliheh Shirvanian, Mihai Christodorescu, Payman Mohassel
CoRA: Collaborative Risk-Aware Authentication. IACR Cryptol. ePrint Arch. 2022 (2022)
Mihai Christodorescu, Maliheh Shirvanian, Shams Zawoad
Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors. CoRR (2022)
Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu
Optimal Energy Efficient Design of Artificial Noise to Prevent Side-Channel Attacks. WIFS (2022)
Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha
Amortized Threshold Symmetric-key Encryption. IACR Cryptol. ePrint Arch. 2021 (2021)
Mihai Christodorescu, Erin English, Wanyun Catherine Gu, David Kreissman, Ranjit Kumaresan, Mohsen Minaei, Srinivasan Raghuraman, Cuy Sheffield, Arjuna Wijeyekoon, Mahdi Zamani
Universal Payment Channels: An Interoperability Platform for Digital Currencies. CoRR (2021)
Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha
Amortized Threshold Symmetric-key Encryption. CCS (2021)
Saba Eskandarian, Mihai Christodorescu, Payman Mohassel
Privacy-Preserving Payment Splitting. Proc. Priv. Enhancing Technol. 2020 (2) (2020)
Mihai Christodorescu, Wanyun Catherine Gu, Ranjit Kumaresan, Mohsen Minaei, Mustafa Özdayi, Benjamin Price, Srinivasan Raghuraman, Muhammad Saad, Cuy Sheffield, Minghua Xu, Mahdi Zamani
Towards a Two-Tier Hierarchical Infrastructure: An Offline Payment System for Central Bank Digital Currencies. CoRR (2020)
Yizhen Wang, Xiaozhu Meng, Mihai Christodorescu, Somesh Jha
Robust Learning against Logical Adversaries. CoRR (2020)
Saba Eskandarian, Mihai Christodorescu, Payman Mohassel
Privacy-Preserving Payment Splitting. CoRR (2019)
Talha Ongun, Oliver Spohngellert, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh
The House That Knows You: User Authentication Based on IoT Data. CoRR (2019)
Ke Wang, Mihai Christodorescu
COSET: A Benchmark for Evaluating Neural Program Embeddings. CoRR (2019)
Talha Ongun, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh
The House That Knows You: User Authentication Based on IoT Data. CCS (2018)
Rohit Sinha, Mihai Christodorescu
VeritasDB: High Throughput Key-Value Store with Integrity. IACR Cryptol. ePrint Arch. 2018 (2018)
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
Learning Execution Contexts from System Call Distribution for Anomaly Detection in Smart Embedded System. IoTDI (2017)
Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha
Enhancing Android Security Through App Splitting. SecureComm (2017)
Abhinav Aggarwal, Mahdi Zamani, Mihai Christodorescu
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways. CoRR (2017)
Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR (2016)
Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu
PIFT: Predictive Information-Flow Tracking. ASPLOS (2016)
Marc Ph. Stoecklin, Kapil Singh, Larry Koved, Xin Hu, Suresh N. Chari, Josyula R. Rao, P.-C. Cheng, Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales
Passive security intelligence to analyze the security risks of mobile/BYOD activities. IBM J. Res. Dev. 60 (4) (2016)
William Melicher, Mahmood Sharif, Joshua Tan, Lujo Bauer, Mihai Christodorescu, Pedro Giovanni Leon
(Do Not) Track Me Sometimes: Users' Contextual Preferences for Web Tracking. Proc. Priv. Enhancing Technol. 2016 (2) (2016)
Man-Ki Yoon, Sibin Mohan, Jaesik Choi, Mihai Christodorescu, Lui Sha
Intrusion Detection Using Execution Contexts Learned from System Call Distributions of Real-Time Embedded Systems. CoRR (2015)
Rui Han, Alejandro Mesa, Mihai Christodorescu, Saman A. Zonouz
TroGuard: context-aware protection against web-based socially engineered trojans. ACSAC (2014)
Douglas Lee Schales, Mihai Christodorescu, Xin Hu, Jiyong Jang, Josyula R. Rao, Reiner Sailer, Marc Ph. Stoecklin, Wietse Z. Venema, Ting Wang
Stream computing for large-scale, multi-channel cyber threat analytics. IRI (2014)
Somesh Jha, Matthew Fredrikson, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
Synthesizing near-optimal malware specifications from suspicious behaviors. MALWARE (2013)
Pedro Giovanni Leon, Blase Ur, Yang Wang, Manya Sleeper, Rebecca Balebako, Richard Shay, Lujo Bauer, Mihai Christodorescu, Lorrie Faith Cranor
What matters to users?: factors that affect users' willingness to share information with online advertisers. SOUPS (2013)
Vern Paxson, Mihai Christodorescu, Mobin Javed, Josyula R. Rao, Reiner Sailer, Douglas Lee Schales, Marc Ph. Stoecklin, Kurt Thomas, Wietse Z. Venema, Nicholas Weaver
Practical Comprehensive Bounds on Surreptitious Communication over DNS. USENIX Security Symposium (2013)
Mihai Christodorescu
Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12). CCS (2012)
Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda
A quantitative study of accuracy in system call-based malware detection. ISSTA (2012)
Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu
Monitoring Data Structures Using Hardware Transactional Memory. RV (2011)
Matthew Fredrikson, Mihai Christodorescu, Somesh Jha
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE (2011)
Matt Fredrikson, Somesh Jha, Mihai Christodorescu, Reiner Sailer, Xifeng Yan
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors. IEEE Symposium on Security and Privacy (2010)
Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda
AccessMiner: using system-centric models for malware protection. CCS (2010)
Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales, Daniele Sgandurra, Diego Zamboni
Cloud security is not (just) virtualization security: a short paper. CCSW (2009)
Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han
Mining Graph Patterns Efficiently via Randomized Summaries. Proc. VLDB Endow. 2 (1) (2009)
Mihai Christodorescu, Somesh Jha, Christopher Kruegel
Mining specifications of malicious behavior. ISEC (2008)
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. 30 (5) (2008)
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray
A semantics-based approach to malware detection. POPL (2007)
Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha
OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. ACSAC (2007)
Mihai Christodorescu, Somesh Jha, Christopher Kruegel
Mining specifications of malicious behavior. ESEC/SIGSOFT FSE (2007)
Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
Software transformations to improve malware detection. J. Comput. Virol. 3 (4) (2007)
Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd
An auctioning reputation system based on anomaly. CCS (2005)
Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger
Strengthening Software Self-Checksumming via Self-Modifying Code. ACSAC (2005)
Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant
Semantics-Aware Malware Detection. IEEE Symposium on Security and Privacy (2005)
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
String analysis for x86 binaries. PASTE (2005)
Mihai Christodorescu, Somesh Jha
Testing malware detectors. ISSTA (2004)
Mihai Christodorescu, Somesh Jha
Static Analysis of Executables to Detect Malicious Patterns. USENIX Security Symposium (2003)
Barton P. Miller, Mihai Christodorescu, Robert Iverson, Tevfik Kosar, Alexander Mirgorodskii, Florentina I. Popovici
Playing Inside the Black Box: Using Dynamic Instrumentation to Create Security Holes. Parallel Process. Lett. 11 (2/3) (2001)