Post-Quantum Security Models for Authenticated Encryption. - Vladimir Soukharev; David Jao; Srinath Seshadri (PQCrypto, 2016)