Formal Proof of Provable Security by Game-Playing in a Proof Assistant.

Reynald Affeldt, Miki Tanaka, Nicolas Marti

Browse the full ProvSec paper archive.