个人简介
张昱男汉族硕导软件研究所
招生专业
081202-计算机软件与理论
085211-计算机技术
教育背景
2002-10--2005-12法国高等师范学校博士
2002-02--2002-09巴黎第七大学硕士
1999-09--2002-06南京大学硕士
1995-09--1999-06南京大学学士
教授课程
程序设计语言理论
近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1）FormalSecurityProofswithMinimalFuss:ImplicitComputationalComplexityatWork，InformationandComputation，2012，通讯作者
（2）Acalculusforgame-basedsecurityproofs，LectureNotesinComputerScience，2010，通讯作者
（3）ALogicforReasoningaboutComputationalIndistinguishability，MathematicalStructuresinComputerScience，2010，第1作者
（4）VerifyinganonymouscredentialsystemsinappliedPicalculus，LectureNotesinComputerScience，2009，第2作者
（5）CryptographicLogicalRelations，TheoreticalComputerScience，2008，第1作者
京公网安备 11010802027423号