Breaking and Provably Fixing Minx.

Erik Shimshock Matt Staats Nicholas Hopper

Published in: Privacy Enhancing Technologies (2008)

Keyphrases

theoretical guarantees
linear programming
search algorithm
dynamic programming
optimization method