Breaking the Minimalist Authentication Mechanism

Where we analyze an IoT authentication protocol from 2016 using Verifpal.