Description
Updatable Encryption is a variant of symmetric encryption that allows to rotate the encryption key in the outsourced storage setting while minimizing the bandwith used. Indeed, any third party can update ciphertexts to the new key using a token provided by the key holder. UE schemes aim at providing strong confidentiality guarantees against adversaries that can corrupt keys and tokens.
In this talk, I will give an overview of Updatable Encryption, show how to build post-quantum Updatable Encryption schemes using cryptographic group actions and give an instantiation based on isogenies. This is the first post-quantum Updatable Encryption construction not based on lattices and that allows an unlimited number of updates.
This is joint-work with Antonin Leroux (DGA-MI & IRMAR).
Reference: A. Leroux and M. Roméas. Updatable Encryption from Group Actions. PQCrypto 2024.
Infos pratiques
Prochains exposés
-
CryptoVerif: a computationally-sound security protocol verifier
Orateur : Bruno Blanchet - Inria
CryptoVerif is a security protocol verifier sound in the computational model of cryptography. It produces proofs by sequences of games, like those done manually by cryptographers. It has an automatic proof strategy and can also be guided by the user. It provides a generic method for specifying security assumptions on many cryptographic primitives, and can prove secrecy, authentication, and[…]-
Cryptography
-