“Release of Unverified Plaintext: Tight Unified Model and Application to ANYDAE”, ToSC, vol. 2019, no. 4, pp. 119–146, Jan. 2020, doi: 10.13154/tosc.v2019.i4.119-146.