Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols.

Cas Cremers, Alexander Dax, Niklas Medinger

Browse the full CCS paper archive.