.Two IBM-developed formulas have been formally defined within the world's first three post-quantum c...