On the provable security of BEAR and LION schemes. - Lara Maines; Matteo Piva; Anna Rimoldi; Massimiliano Sala (Appl. Algebra Eng. Commun. Comput., 2011)