搜索结果: 1-1 共查到“密码学 EasyCrypt”相关记录1条 . 查询时间(0.062 秒)
EasyUC: Using EasyCrypt to Mechanize Proofs of Universally Composable Security
universally composable security formal verification EasyCrypt
font style='font-size:12px;'>
2019/5/31
We present a methodology for using the EasyCrypt proof assistant (originally designed for mechanizing the generation of proofs of game-based security of cryptographic schemes and protocols) to mechani...