Mihai Christodorescu  Mihai Christodorescu photo       

contact information

Researcher - Global Security Analysis Lab
Thomas J. Watson Research Center, Yorktown Heights, NY USA



My research interests lie at the intersection of computer security, formal methods for program verification, and software engineering. In particular, I am interested in understanding the behavior of programs, detecting malicious behaviors in systems, and manipulating programs to achieve desired security properties.

Currently I am studying the following problems:

  • Security & privacy in virtualized systems and in cloud computing
    • Privacy through information-flow control in infrastructure clouds
    • Formal approaches to composable isolation in cloud computing
    • Eliminating algorithmic attacks in dynamic matching of malicious-behavior specifications
    • Runtime monitoring of kernel data structure integrity via virtual machine introspection
  • Program behavior analysis for malware detection
    • Static and dynamic detection of malicious behaviors in binaries
    • Automatic synthesis of optimal specification of malicious behavior
    • System-wide malware detection using information-flow theories
  • Program transformation for security
    • Namespace diversification of commun protocols
    • Foundations of program obfuscation

External sites about my research: