A toy implementation of Markus Jakobsson, Ari Juels