十大网赌网址

专题链接

学术看板 当前位置:网站首页 > 专题链接 > 学术看板

基于格的密码学的符号证明

作者:互联网数据安全实验室 来源:互联网数据安全实验室 阅读次数:597日期:2018/11/24

一、 主    题:基于格的密码学的符号证明(CCS'18)

二、 时    间:2018年11月27日星期二,16: 00-17: 30

三、 地    点:清水河校区主楼B1-203会议室

四、 人:范雄博士,美国康奈尔大学

五、 人:十大网赌网址(网络空间安全研究所)李宏伟教授

六、 熊凡是康奈尔大学的研究生,在Elaine Shi教授的指导下。他的主要研究兴趣是密码学和编程语言,目前主要关注基于格的密码学。特别是,他专注于如何开发和优化基于抵抗量子计算机攻击的格子的高级加密方案,并使用计算机辅助证明技术正式推理基于格的加密方案的安全性。他于2017年夏天在IBM TJ Watson研究中心的密码学研究小组实习,2016年夏天与贝尔实验室的Vladimir Kolesnikov博士一起实习,2015年夏天与Juan Garay博士和Payman Mohassel博士一起在雅虎工作。实验室。