The Hodge standard conjecture for self-products of K3 surfaces

As an application of our previous work on CM liftings of K3 surfaces and the Tate conjecture, we prove the Hodge standard conjecture for squares of K3 surfaces. We also deduce the Hodge standard conjecture for all the powers of certain K3 surfaces.