Farshim, P.; Orlandi, C.; Rosie, R. Security of Symmetric Primitives under Incorrect Usage of Keys. ToSC 2017, 2017, 449-473.