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