How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt.

Franois Dupressoir, Andreas Hlsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner

Browse the full ASIACRYPT paper archive.