Encrypted LQG using labeled homomorphic encryption