Provable Security - heftet, Engelsk, 2014