If you're interested in the basic tools used in this system, this is another paper that uses some similar ones: http://arxiv.org/abs/1503.06115

Phil Rogaway called it 'elegant', fwiw.