Tight Security Analysis of EHtM MAC. ToSC 2017, 2017 (3), 130-150. https://doi.org/10.13154/tosc.v2017.i3.130-150.