His research on Linguistics often connects related areas such as Soundness and TRACE (psycholinguistics). His study in Linguistics extends to TRACE (psycholinguistics) with its themes. Borrowing concepts from Theoretical computer science, Mihai Christodorescu weaves in ideas under Semantics (computer science). His study brings together the fields of Abstract interpretation and Theoretical computer science. He performs multidisciplinary study in Abstract interpretation and Semantics (computer science) in his work. Many of his studies on Byte apply to Programming language as well. Programming language is closely attributed to Soundness in his research. Mihai Christodorescu conducted interdisciplinary study in his works that combined Artificial intelligence and Natural language processing. Mihai Christodorescu merges many fields, such as Natural language processing and Artificial intelligence, in his writings.
Mihai Christodorescu is doing genetic studies as part of his Cryptovirology and Malware analysis and Malware investigations. Mihai Christodorescu undertakes interdisciplinary study in the fields of Cryptovirology and Malware through his works. He links relevant scientific disciplines such as TRACE (psycholinguistics) and Soundness in the realm of Linguistics. As part of his studies on Programming language, Mihai Christodorescu often connects relevant areas like Soundness. His Software study frequently draws connections between related disciplines such as MIT License. His study in Graph extends to Theoretical computer science with its themes. His research combines Theoretical computer science and Graph. Mihai Christodorescu regularly links together related areas like Control (management) in his Artificial intelligence studies. As part of his studies on Control (management), he frequently links adjacent subjects like Artificial intelligence.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Semantics-aware malware detection
M. Christodorescu;S. Jha;S.A. Seshia;D. Song.
ieee symposium on security and privacy (2005)
Static analysis of executables to detect malicious patterns
Mihai Christodorescu;Somesh Jha.
usenix security symposium (2003)
Mihai Christodorescu;Somesh Jha;Douglas Maughan;Dawn Song.
Testing malware detectors
Mihai Christodorescu;Somesh Jha.
international symposium on software testing and analysis (2004)
Mining specifications of malicious behavior
Mihai Christodorescu;Somesh Jha;Christopher Kruegel.
india software engineering conference (2008)
OmniUnpack: Fast, Generic, and Safe Unpacking of Malware
L. Martignoni;M. Christodorescu;S. Jha.
annual computer security applications conference (2007)
Cloud security is not (just) virtualization security: a short paper
Mihai Christodorescu;Reiner Sailer;Douglas Lee Schales;Daniele Sgandurra.
ieee international conference on cloud computing technology and science (2009)
Synthesizing Near-Optimal Malware Specifications from Suspicious Behaviors
Matt Fredrikson;Somesh Jha;Mihai Christodorescu;Reiner Sailer.
ieee symposium on security and privacy (2010)
AccessMiner: using system-centric models for malware protection
Andrea Lanzi;Davide Balzarotti;Christopher Kruegel;Mihai Christodorescu.
computer and communications security (2010)
A quantitative study of accuracy in system call-based malware detection
Davide Canali;Andrea Lanzi;Davide Balzarotti;Christopher Kruegel.
international symposium on software testing and analysis (2012)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: