Easycrypt: A tutorial

被引:88
作者
机构
[1] IMDEA Software Institute, Madrid
[2] FireEye, Dresden
来源
| 1600年 / Springer Verlag卷 / 8604期
关键词
D O I
10.1007/978-3-319-10082-1_6
中图分类号
学科分类号
摘要
[No abstract available]
引用
收藏
页码:146 / 166
页数:20
相关论文
共 5 条
[1]  
Almeida J.B., Barbosa M., Barthe G., Dupressoir F., Certified computer-aided cryptography: Efficient provably secure machine code from high-level implementations, ACM Communications and Computer Security (CCS), pp. 1217-1230, (2013)
[2]  
Almeida J.B., Barbosa M., Barthe G., Davy G., Dupressoir F., Gregoire B., Strub P.-Y., Verified implementations for secure and verifiable computation, Cryptology Eprint Archive, Report 2014, 456, (2014)
[3]  
Barthe G., Crespo J.M., Gregoire B., Kunz C., Lakhnech Y., Schmidt B., Beguelin S.Z., Fully automated analysis of padding-based encryption in the computational model, ACM Communications and Computer Security (CCS), pp. 1247-1260, (2013)
[4]  
Barthe G., Gregoire B., Heraud S., Beguelin S.Z., Computer-aided security proofs for the working cryptographer, CRYPTO 2011. LNCS, 6841, pp. 71-90, (2011)
[5]  
Barthe G., Gregoire B., Zanella-Beguelin S., Formal certification of code-based cryptographic proofs, ACM Principles of Programming Languages (POPL), pp. 90-101, (2009)