D. Chang, “Release of Unverified Plaintext: Tight Unified Model and Application to ANYDAE”, ToSC, vol. 2019, no. 4, pp. 119–146, Jan. 2020.