Privacy preserving, verifiable and efficient outsourcing algorithm for matrix multiplication to a malicious cloud server. Issue 1 (1st January 2017)