Careful with MAc-then-SIGn: A Computational Analysis of the EDHOC Lightweight Authenticated Key Exchange Protocol. - Felix Günther 001; Marc Ilunga Tshibumbu Mukendi (IACR Cryptol. ePrint Arch., 2022)