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