Kevin Hamlen is a Eugene McDermott Professor of Computer Science and a Senior Technical Advisor of UT Dallas' Cyber Security Research and Education Institute. His research focus is language-based security with the following research topics:

  • In-lined reference monitors
  • Type-safe intermediate languages
  • Abstract interpretation
  • Model-checking
  • Proof-carrying code
  • Certifying compilers
  • Software cyber-deception
  • Malware defense
  • Cloud computing security

Works in Treasures @ UT Dallas are made available exclusively for educational purposes such as research or instruction. Literary rights, including copyright for published works held by the creator(s) or their heirs, or other third parties may apply. All rights are reserved unless otherwise indicated by the copyright owner(s).

Recent Submissions