A provably masked implementation of BIKE Key Encapsulation Mechanism (IACR Communications in Cryptology)