Kevin Hamlen

Kevin Hamlen


  • Language-based security
  • In-lined reference monitors
  • execution monitors
  • Type-safe intermediate languages
  • Proof-carrying code
  • Certifying compilers


Lakisha Ladson

Expert at a Glance

Kevin Hamlen Erik Jonsson School of Engineering and Computer Science

Assistant Professor, Computer Science

Dr. Hamlen's research concerns the emerging field of language-based security, which leverages techniques from programming language theory and compilers to enforce software security.

He is currently developing automated program rewriting technologies for enforcing security policies that constrain the behavior of untrusted code.

Hamlen received his master's and Ph.D. degrees from Cornell University. His doctoral research was part of the Language-Based Security for Malicious Mobile Code Initiative. For his thesis, he designed and implemented a certifying program rewriting system for the Microsoft .NET Framework.




Updated: November 29, 2011