Cryptology ePrint Archive: Report 2007/314
Available versions in chronological order
20070816:120905 (posted 16-Aug-2007 12:09:05 UTC)
Formal Certification of Code-Based Cryptographic Proofs
G. Barthe and B. Gr{\'e}goire and R. Janvier and S. Zanella B{\'e}guelin
Publication Info: Submitted for publication
20071001:084912 (posted 01-Oct-2007 08:49:12 UTC)
Formal Certification of Code-Based Cryptographic Proofs
G. Barthe and B. Gr{\'e}goire and R. Janvier and S. Zanella B{\'e}guelin
Publication Info: Submitted for publication
[
Cryptology ePrint archive
]