“Context-Committing Security of Leveled Leakage-Resilient AEAD”, ToSC, vol. 2024, no. 2, pp. 348–370, Jun. 2024, doi: 10.46586/tosc.v2024.i2.348-370.