In the tiny ST54M, STMicroelectronics combines two ARM cores with a hardware accelerator for the PQC algorithms ML-KEM (FIPS-203) and ML-DSA (FIPS-204).
The cryptography is decades old and well understood, the verification is something a curious player can run by hand, and the ...