Mihai Christodorescu

Mihai Christodorescu: Second workshop on building analysis datasets and gathering experience returns for security (BADGERS'12). ACM Conference on Computer and Communications Security 2012: 1066-1067

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

Matthew Fredrikson, Mihai Christodorescu, Somesh Jha: Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms. CADE 2011: 252-267

Shakeel Butt, Vinod Ganapathy, Arati Baliga, Mihai Christodorescu: Monitoring Data Structures Using Hardware Transactional Memory. RV 2011: 345-359

Mihai Christodorescu, Matthew Fredrikson, Somesh Jha, Jonathon T. Giffin: End-to-End Software Diversification of Internet Services. Moving Target Defense 2011: 117-130

Mihai Christodorescu, Vinod Ganapathy: Dynamic Analysis. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 365-367

Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda: AccessMiner: using system-centric models for malware protection. ACM Conference on Computer and Communications Security 2010: 399-412

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

Matt Fredrikson, Mihai Christodorescu, Jonathon T. Giffin, Somesh Jha: A Declarative Framework for Intrusion Analysis. Cyber Situational Awareness 2010: 179-200

Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han: Mining Graph Patterns Efficiently via Randomized Summaries. PVLDB 2(1): 742-753 (2009)

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

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)

Mihai Christodorescu, Somesh Jha, Christopher Kruegel: Mining specifications of malicious behavior. ISEC 2008: 5-14

Mihai Christodorescu, Somesh Jha, Douglas Maughan, Dawn Song, Cliff Wang (Eds.): Malware Detection. Advances in Information Security 27, Springer 2007, isbn 978-0-387-32720-4

Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith: Software transformations to improve malware detection. Journal in Computer Virology 3(4): 253-265 (2007)

Lorenzo Martignoni, Mihai Christodorescu, Somesh Jha: OmniUnpack: Fast, Generic, and Safe Unpacking of Malware. ACSAC 2007: 431-441

Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya K. Debray: A semantics-based approach to malware detection. POPL 2007: 377-388

Mihai Christodorescu, Somesh Jha, Christopher Kruegel: Mining specifications of malicious behavior. ESEC/SIGSOFT FSE 2007: 5-14

Mihai Christodorescu, Shai Rubin: Can Cooperative Intrusion Detectors Challenge the Base-Rate Fallacy? Malware Detection 2007: 193-209

Jonathon T. Giffin, Mihai Christodorescu, Louis Kruger: Strengthening Software Self-Checksumming via Self-Modifying Code. ACSAC 2005: 23-32

Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd: An auctioning reputation system based on anomaly. ACM Conference on Computer and Communications Security 2005: 270-279

Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh: String analysis for x86 binaries. PASTE 2005: 88-95

Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia, Dawn Xiaodong Song, Randal E. Bryant: Semantics-Aware Malware Detection. IEEE Symposium on Security and Privacy 2005: 32-46

Mihai Christodorescu, Somesh Jha: Testing malware detectors. ISSTA 2004: 34-44

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 Processing Letters 11(2/3): 267-280 (2001)