.Pair of IBM-developed formulas have been formally defined within the world's 1st three post-quantum...