Release of Unverified Plaintext: Tight Unified Model and Application to ANYDAE. ToSC. 2020;2019(4):119-146. doi:10.13154/tosc.v2019.i4.119-146