default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMihai Christodorescu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c32]Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha:
Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates. ICML 2024- [i21]Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson, Kassem Fawaz, Somesh Jha:
Do Large Code Models Understand Programming Concepts? A Black-box Approach. CoRR abs/2402.05980 (2024) - [i20]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 abs/2407.12999 (2024) - [i19]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:
Natural Language Outlines for Code: Literate Programming in the LLM Era. CoRR abs/2408.04820 (2024) - [i18]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: 855 (2024) - 2023
- [j8]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): 1-52 (2023) - [c31]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: 443-467 - [i17]Somesh Jha, Mihai Christodorescu, Anh Pham:
Formal Analysis of the API Proxy Problem. CoRR abs/2302.13525 (2023) - [i16]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 abs/2308.14840 (2023) - [i15]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 abs/2310.03285 (2023) - 2022
- [c30]Yizhen Wang, Mohannad Alhanahnah, Xiaozhu Meng, Ke Wang, Mihai Christodorescu, Somesh Jha:
Robust Learning against Relational Adversaries. NeurIPS 2022 - [c29]Shan Jin, Minghua Xu, Riccardo Bettati, Mihai Christodorescu:
Optimal Energy Efficient Design of Artificial Noise to Prevent Side-Channel Attacks. WIFS 2022: 1-6 - [i14]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 abs/2208.09140 (2022) - [i13]Mihai Christodorescu, Maliheh Shirvanian, Shams Zawoad:
Privacy-Preserving Application-to-Application Authentication Using Dynamic Runtime Behaviors. CoRR abs/2211.13195 (2022) - [i12]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: 294 (2022) - [i11]Mastooreh Salajegheh, Shashank Agrawal, Maliheh Shirvanian, Mihai Christodorescu, Payman Mohassel:
CoRA: Collaborative Risk-Aware Authentication. IACR Cryptol. ePrint Arch. 2022: 1685 (2022) - 2021
- [c28]Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha:
Amortized Threshold Symmetric-key Encryption. CCS 2021: 2758-2779 - [i10]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 abs/2109.12194 (2021) - [i9]Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha:
Amortized Threshold Symmetric-key Encryption. IACR Cryptol. ePrint Arch. 2021: 1176 (2021) - 2020
- [j7]Saba Eskandarian, Mihai Christodorescu, Payman Mohassel:
Privacy-Preserving Payment Splitting. Proc. Priv. Enhancing Technol. 2020(2): 67-88 (2020) - [i8]Yizhen Wang, Xiaozhu Meng, Mihai Christodorescu, Somesh Jha:
Robust Learning against Logical Adversaries. CoRR abs/2007.00772 (2020) - [i7]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 abs/2012.08003 (2020)
2010 – 2019
- 2019
- [i6]Ke Wang, Mihai Christodorescu:
COSET: A Benchmark for Evaluating Neural Program Embeddings. CoRR abs/1905.11445 (2019) - [i5]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 abs/1908.00592 (2019) - [i4]Saba Eskandarian, Mihai Christodorescu, Payman Mohassel:
Privacy-Preserving Payment Splitting. CoRR abs/1911.09222 (2019) - 2018
- [c27]Talha Ongun, Alina Oprea, Cristina Nita-Rotaru, Mihai Christodorescu, Negin Salajegheh:
The House That Knows You: User Authentication Based on IoT Data. CCS 2018: 2255-2257 - [i3]Rohit Sinha, Mihai Christodorescu:
VeritasDB: High Throughput Key-Value Store with Integrity. IACR Cryptol. ePrint Arch. 2018: 251 (2018) - 2017
- [c26]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: 191-196 - [c25]Drew Davidson, Vaibhav Rastogi, Mihai Christodorescu, Somesh Jha:
Enhancing Android Security Through App Splitting. SecureComm 2017: 24-44 - [i2]Abhinav Aggarwal, Mahdi Zamani, Mihai Christodorescu:
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways. CoRR abs/1709.04569 (2017) - 2016
- [j6]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:
Passive security intelligence to analyze the security risks of mobile/BYOD activities. IBM J. Res. Dev. 60(4): 9 (2016) - [j5]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): 135-154 (2016) - [c24]Man-Ki Yoon, Negin Salajegheh, Yin Chen, Mihai Christodorescu:
PIFT: Predictive Information-Flow Tracking. ASPLOS 2016: 713-725 - [c23]Man-Ki Yoon, Mihai Christodorescu, Lui Sha, Sibin Mohan:
The DragonBeam Framework: Hardware-Protected Security Modules for In-Place Intrusion Detection. SYSTOR 2016: 1:1-1:12 - 2015
- [i1]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 abs/1501.05963 (2015) - 2014
- [c22]Rui Han, Alejandro Mesa, Mihai Christodorescu, Saman A. Zonouz:
TroGuard: context-aware protection against web-based socially engineered trojans. ACSAC 2014: 66-75 - [c21]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: 8-15 - 2013
- [c20]Somesh Jha, Matthew Fredrikson, Mihai Christodorescu, Reiner Sailer, Xifeng Yan:
Synthesizing near-optimal malware specifications from suspicious behaviors. MALWARE 2013: 41-50 - [c19]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: 7:1-7:12 - [c18]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: 17-32 - 2012
- [c17]Mihai Christodorescu:
Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12). CCS 2012: 1066-1067 - [c16]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: 122-132 - [e2]Ting Yu, Mihai Christodorescu:
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. ACM 2012, ISBN 978-1-4503-1661-3 [contents] - 2011
- [c15]Matthew Fredrikson, Mihai Christodorescu, Somesh Jha:
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE 2011: 252-267 - [c14]Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu:
Monitoring Data Structures Using Hardware Transactional Memory. RV 2011: 345-359 - [p4]Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin:
End-to-End Software Diversification of Internet Services. Moving Target Defense 2011: 117-130 - [r1]Mihai Christodorescu, Vinod Ganapathy:
Dynamic Analysis. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 365-367 - 2010
- [c13]Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda:
AccessMiner: using system-centric models for malware protection. CCS 2010: 399-412 - [c12]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: 45-60 - [p3]Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han:
Mining Large Information Networks by Graph Summarization. Link Mining 2010: 475-501 - [p2]Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha:
A Declarative Framework for Intrusion Analysis. Cyber Situational Awareness 2010: 179-200
2000 – 2009
- 2009
- [j4]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): 742-753 (2009) - [c11]Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales, Daniele Sgandurra, Diego Zamboni:
Cloud security is not (just) virtualization security: a short paper. CCSW 2009: 97-102 - 2008
- [j3]Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray:
A semantics-based approach to malware detection. ACM Trans. Program. Lang. Syst. 30(5): 25:1-25:54 (2008) - [c10]Mihai Christodorescu, Somesh Jha, Christopher Kruegel:
Mining specifications of malicious behavior. ISEC 2008: 5-14 - 2007
- [j2]Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith:
Software transformations to improve malware detection. J. Comput. Virol. 3(4): 253-265 (2007) - [c9]Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha:
OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. ACSAC 2007: 431-441 - [c8]Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray:
A semantics-based approach to malware detection. POPL 2007: 377-388 - [c7]Mihai Christodorescu, Somesh Jha, Christopher Kruegel:
Mining specifications of malicious behavior. ESEC/SIGSOFT FSE 2007: 5-14 - [p1]Mihai Christodorescu, Shai Rubin:
Can Cooperative Intrusion Detectors Challenge the Base-Rate Fallacy? Malware Detection 2007: 193-209 - [e1]Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang:
Malware Detection. Advances in Information Security 27, Springer 2007, ISBN 978-0-387-32720-4 [contents] - 2005
- [c6]Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger:
Strengthening Software Self-Checksumming via Self-Modifying Code. ACSAC 2005: 23-32 - [c5]Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd:
An auctioning reputation system based on anomaly. CCS 2005: 270-279 - [c4]Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh:
String analysis for x86 binaries. PASTE 2005: 88-95 - [c3]Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant:
Semantics-Aware Malware Detection. S&P 2005: 32-46 - 2004
- [c2]Mihai Christodorescu, Somesh Jha:
Testing malware detectors. ISSTA 2004: 34-44 - 2003
- [c1]Mihai Christodorescu, Somesh Jha:
Static Analysis of Executables to Detect Malicious Patterns. USENIX Security Symposium 2003 - 2001
- [j1]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): 267-280 (2001)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
