Efficient key encapsulation mechanisms with tight security reductions to standard assumptions in the two security models. Issue 12 (2nd March 2016)