Efficient constructions of certificate-based key encapsulation mechanism. (1st January 2014)