Itachi's Blog
Itachi's Blog
首页
归档
关于
订阅
TLS1.3
2019-03-30
本文作者简介:
李新宇,本科、硕士就读于中国科学技术大学,现为中国科学院软件研究所在读博士生,目前的研究方向主要为密码协议的设计与安全性分析。
阅读全文
上一页
1
2
分类
函数式编程
安全协议
实验配置
形式化
标签
Haskell
lambda演算
Ubuntu
tamarin
形式化
TLS
最近文章
Ubuntu server命令行配置SS全局代理
【第七章】终章,Lambda演算建模程序即证明!
【第六章】Lambda演算的类型
【第五章】从Lambda演算到组合子演算
【第四章】为什么是Y?
【第三章】Lambda演算中的布尔值和选择
【第二章】阿隆佐.丘奇的天才之作——lambda演算中的数字
【第一章】我的最爱Lambda演算
tamarin Built-in message theories
Haskell介绍
友情链接
珞珈之戍
zhangtong16