Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols using Mix-Nets

Jannik Dreier, Universite de Lorraine, CNRS, Inria, LORIA; Pascal Lafourcade and Dhekra Mahmoud, Universite Clermont Auvergne, LIMOS