“Combiners for AEAD”, ToSC, vol. 2020, no. 1, pp. 121–143, May 2020, doi: 10.13154/tosc.v2020.i1.121-143.