Haida Wang

Auditable Conformance and Cross-Library Interoperability Testing for ML-KEM and ML-DSA

An implementation that passes internal round-trip tests may still produce artifacts that another library cannot consume. We present an auditable workflow for selected-vector conformance and raw-artifact interoperability testing of ML-KEM and ML-DSA in liboqs and PQMagic. The work...