Chang, D.; Datta, N.; Dutta, A.; Mennink, B.; Nandi, M.; Sanadhya, S.; Sibleyras, F. 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.