Context-Committing Security of Leveled Leakage-Resilient AEAD. ToSC 2024, 2024 (2), 348-370. https://doi.org/10.46586/tosc.v2024.i2.348-370.