薛銳，男，研究員，主要研究方向包括: 密碼學，安全協定, 計算複雜性理論、信息安全理論、密碼協定的形式化方法、數理邏輯等。
基本介紹
- 中文名：薛銳
- 國籍：中國
- 民族：漢族
- 職業：研究員
- 主要成就：主持完成國家863 項目(2002AA144050)
科研項目,代表論著,
科研項目
已經完成項目:
主持完成省部級項目多項
參加國家重大基礎研究項目（973）(G1999035802)
主持完成國家863 項目(2002AA144050)
主持完成國家自然基金項目（60373048），基金委評定為優秀
主持完成國家自然基金項目(60773029)
項目:
主持國家自然基金(60873260）
參加973項目(2007CB311202)
主持國家863項目(2009AA01Z414)
主持國家歸國留學基金項目
主持國家重點實驗室項目
在Journal of Computer and Technology、 Computer and Security、 International Journal of Network Security、IEE Proceedings Communication 等國際雜誌，電子學報，軟體學報、計算機學報、中國科學等國內重要刊物、國際，國內會議上發表六十餘篇論文。
曾任ISDPE07國際會議聯合主席, 多個國際會議程式委員會委員。任多家雜誌審稿人等等。
學習經歷
1979－1983 北京師範大學數學系學習, 獲學士學位。
1985－1988 北京師範大學數學系學習, 獲碩士學位。
1996－1999 北京師範大學數學系學習, 獲博士學位。
1999－2001 中國科學院軟體所, 博士後。
工作經歷
1983－1985 山西省臨汾師專教師
1988－1996 山西師範大學計算機中心
2001－2002 中科院計算機語言信息工程研究中心
2002－今 中國科學院信息安全國家重點實驗室
1994－1995 德國的Passau 大學訪問學者. 合作導師：Volker Weispfenning
2005－2006 美國的Purdue University 計算機系高級訪問學者. 合作導師：Ninghui Li
2006－2007 美國 UIUC 計算機系高級訪問學者。合作導師：Manoj M. Prabhakaran
代表論著
薛銳，林惠民。面向傳值進程的謂詞μ-演算與FO(HML)的完備推演系統. 計算機學報, vol. 25, no. 6, pp. 561-569, 2002.
薛銳,。有序實數加法理論新的判定過程與多項式譜 (1088) 軟體學報, vol. 12, no. 7, pp. 1088-1092, 2001.
曹天傑，林東岱，薛銳。基於橢圓曲線的代理多簽名方案的安全性分析. 小型微型計算機系統. 2006 Vol.27 No.5: 798-801, 2006.
沈海峰，薛銳，黃河燕。 用串空間分析公平交換協定。小型微型計算機系統。 2006年vol 2（1）：62-68.
沈海峰，薛銳。黃河燕， 陳肇雄。 串空間理論擴展. 軟體學報, vol. 16, no. 10, pp. 1784-1789, 2005.
沈海峰，薛銳，黃河燕，陳肇雄。 JFK協定的安全性分析 。小型微型計算機系統。 2005年vol 26（10）：1681-1686.
