Current Projects

  • Formal Methods for Network Security
  • NLP Application for Security
  • Fuzzying Network Protocols and Distributed Systems
  • Security Analytics
  • Adversarial Machine Learning
  • Cloud Security
  • Security of Connected Vehicles
  • Security of Software-Defined Infrastructure
  • Security and Privacy for Distributed Ledgers