Research Topics


Data Security

  • Cloud data security
  • Secure multi-party computation
  • Differential privacy
  • Database encryption

System Security

  • Formal verification
  • Operating system security
  • Hardware-software security co-design
  • RISC-V security

Network Security

  • Encrypted traffic analysis
  • Web security
  • Routing security
  • Attack detection and tracing

IoT Security

  • Trusted perception
  • IoT Security
  • Biometric authentication
  • Side-channel security

AI Security

  • Algorithm and model security
  • Adversarial examples attack
  • Provable security

Blockchain Security

  • Smart contracts analysis
  • Consensus algorithm design
  • Digital currencies attack tracing
  • E-wallet security
  • Blockchain supervision