English  简体中文
搜索   
首页 中心概况 新闻动态 科研成果 研究队伍 技术园地 公共信息 联系我们

学术报告:Formal Methods and Security


2017-07-11        撰稿人: 魏子豪


 

报告人:Pascal Lafourcade, Université Clermont Auvergne, LIMOS, Clermont-Ferrand France

时间: 2017712日星期三上午9:30

地点:信息工程研究所4303会议室

内容提要:In this talk, I present different formal methods that can help for proving the security. Using some dedicated Hoare Logic, I start to analyse some cryptographic primitives like block cipher modes, public key encryption or MAC. Then in a second part, I show how formal methods can be applied to verify e-exams protocols. Finally I conclude by listing some challenges in security for the next years.

报告人简介:Pascal Lafourcade教授在加密算法的计算机辅助领域颇有研究,已经发表了16篇国际期刊论文、46篇国际会议论文,并组织过FPS16SDTA14等会议。

 


评论人:          
lois.local\

DCS 中心 版权所有
地址:北京市海淀区闵庄路甲89号 4号楼
联系电话:010-82546536 010-82546537
京ICP备05046059号