As quantum computing hardware advances, the demand for scalable, precise, and fully automated verification techniques for ...

We prove that the crosscorrelation function for two new values of d takes on precisely three values and thereby confirm two of Niho's conjectures.