On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption.

Ueli Maurer, Bjrn Tackmann

Browse the full CCS paper archive.