Keeping Up with the KEMs: Stronger Security Notions for KEMs and Automated Analysis of KEM-based Protocols
Cas Cremers, Alexander Dax, Niklas Medinger
Abstract
Key Encapsulation Mechanisms (KEMs) are a critical building block for hybrid encryption and modern security protocols, notably in the post-quantum setting. Given the asymmetric public key of a recipient, the primitive establishes a shared secret key between sender and recipient. In recent years, a large number of abstract designs and concrete implementations of KEMs have been proposed, e.g., in the context of the NIST process for post-quantum primitives.
Topics & Concepts
Communication sourcePublic-key cryptographyComputer scienceEncryptionKey encapsulationKey (lock)NISTContext (archaeology)Computer securityComputer networkKey exchangeGeologyNatural language processingPaleontologyCryptography and Data SecurityCryptographic Implementations and SecurityAdvanced Authentication Protocols Security