31
Publications
3.3K
Citations
24
H-Index
2001
Active since
Mihai Christodorescu is an author at University of Wisconsin–Madison specializing in engineering, computer science, and software analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisInformation SecurityData SecuritySoftware TestingMalware AnalysisSoftware SecurityHardware Security
Publications per year
2001–2023
31
31
Semantics-aware malware detection
Mihai Christodorescu, Somesh Jha, Sanjit A. Seshia et al. · 2005 · 720 citations · Full text
Mining specifications of malicious behavior
Mihai Christodorescu, Somesh Jha, Christopher Kruegel · 2007 · 278 citations
Mihai Christodorescu, Somesh Jha · 2004 · 273 citations
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors
Matt Fredrikson, Somesh Jha, Mihai Christodorescu et al. · 2010 · 199 citations
Rows per page
1–5 of 31