目前的研究兴趣: 理论上侧重形式化分析, 对无线网络安全也很感兴趣。