High-Assurance Post-Quantum Key ExchangeMiguel Miranda QuaresmaPublished Jan 1, 2026• 0 citationsOpenAlexAbstractContains fulltext : 335833.pdf (Publisher’s version ) (Closed access)