Mihai Christodorescu  Mihai Christodorescu photo       

contact information

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

links


profile


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: