Breaking and Provably Fixing Minx. - Erik Shimshock; Matt Staats; Nicholas Hopper (Privacy Enhancing Technologies, 2008)