Research

Research interests: software systems

  • software security
  • software protection
  • software analysis and verification
  • information and software assurance
  • programming languages
  • software engineering

Current Projects

Previous Projects

Seminars