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