TEDT, a Leakage-Resist AEAD Mode for High Physical Security Applications. TCHES. 2019;2020(1):256-320. doi:10.13154/tches.v2020.i1.256-320