Quantum cryptanalysis of ultralightweight mutual authentication protocols: A Grover's search model. | Synapse