Formal certification of code-based cryptographic proofs.

Gilles Barthe, Benjamin Grgoire, Santiago Zanella-Bguelin

Browse the full POPL paper archive.