Research

Research interests: Cybersecurity, machine learning, and software systems.

  • cybersecurity
    • software security
    • software protection
    • information and software assurance
  • machine learning
    • security of machine learning systems
    • applications of machine learning to cybersecurity problems
  • software systems
    • software analysis and verification
    • programming languages
    • software engineering

Current Projects

Previous Projects

Seminars