Pragmatic Equivalence and Safety Checking in Cryptol

【文件属性】：

文件名称：Pragmatic Equivalence and Safety Checking in Cryptol

文件大小：603KB

文件格式：PDF

更新时间：2021-04-29 16:36:30

Cryptol 语言 密码

To reduce the cost of developing, certifying, and deploying cryptographic applications