“Context-Committing Security of Leveled Leakage-Resilient AEAD” (2024) IACR Transactions on Symmetric Cryptology, 2024(2), pp. 348–370. doi:10.46586/tosc.v2024.i2.348-370.