基本資料
樊海寧，男，清華大學軟體學院副研究員，1988.9-1992.7 解放軍南京通信工程學院計算機及指揮自動化專業獲工學學士，1992.9-1996.5 解放軍南京通信工程學院軍事通信學專業獲軍事學碩士，1999.9-2005.1 清華大學計算機科學與技術系獲工學博士。
工作履歷
1996.5-2004.12,解放軍總參謀部第61研究所,工程師
2005.5-2006.8,University of Waterloo,博士後
2008.1-至今,清華大學軟體學院,副研究員
研究領域
密碼計算，計算複雜性，信息安全
研究概況
2008-2010，基於定理證明的可信嵌入式軟體建模與驗證平台研究，自然科學基金
2010-2012, GF(2^n)密碼處理器算法研究, 自然科學基金
學術成果
[1] Haining Fan, “Simple multiplication algorithm for a class of GF(2n),” IEE Electronics Letters, vol. 32, no.7, pp.636-637, 1996.
[2] Haining Fan and Yiqi Dai, “Key function of normal basis multipliers in GF(2n),” IEE Electronics Letters, vol. 38, no.23, pp. 1431-1432, Nov. 2002.
[3] Haining Fan and Yiqi Dai, “Low complexity bit-parallel normal bases multipliers for GF(2n),” IEE Electronics Letters, vol. 40, no.1, pp. 24-26, Jan. 2004.
