共 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)