mdw-crypto.bib: Add New Proofs for Old Modes.