Research Interests: Network and Systems Security
=========================================
* Network Security and IoT Security
------------------------------------------------
Related projects:
1. Leverage static (e.g., LLVM compiler based) and dynamic program analysis (e.g., symbolic and concolic execution) techniques to verify network protocol implementation. (Ongoing)
2. Security and Privacy of LTE network and mobile virtual network operators (MVNO) (Under submission)
3. Virtual Private Network for smart devices (Mobile OpenVPN) (Under submission)
4. Secure Bluetooth LE connection migration for Internet of Things (Past)
5. Data Provenance of Sen...