Dutta, A.; Jha, A.; Nandi, M. Tight Security Analysis of EHtM MAC. ToSC 2017, 2017, 130-150.