Stage - Towards Homomorphic Authentication for Encrypted Computation-Saclay -H/F

Il y a 2 jours

Saclay, Ile-de-France CEA Temps plein

Gratuit avec email ou Google

Enregistrez cette offre et organisez votre recherche

Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.

Enregistrer le travail Enregistrer et créer une alerte

Gratuit avec email ou Google

En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.

As an intern at the CEA, you will have the opportunity to work within a world-renowned research environment. Our teams consist of passionate and dedicated experts, providing an ideal setting for learning and collaboration. You will have access to state-of-the-art equipment and top-tier research resources to carry out your assignments. The work conducted may potentially lead to a scientific publication. Context : Fully Homomorphic Encryption (FHE) enables computation directly on encrypted data, without revealing the underlying plaintexts. This capability is particularly relevant to privacy-preserving cloud services and secure data processing. However, conventional FHE schemes primarily address confidentiality: their intentional malleability does not, on its own, guarantee that an untrusted evaluator returns an authentic result of an authorized computation. Homomorphic signatures and message authenticators provide a promising direction, as they permit authentication evidence to be updated after certain computations. Adapting such mechanisms to FHE is nevertheless challenging. The objects to be authenticated are structured ciphertexts and not plaintext messages. An ordinary signature on an input ciphertext cannot simply remain valid after the ciphertext changes. Internship Subject The objective of this internship is to investigate the feasibility of homomorphic authentication mechanisms that bind authentication information to the exact representation of HE ciphertexts and allow that information to evolve under supported homomorphic operations. The resulting verification procedure should check that a claimed output ciphertext is consistent with authenticated inputs and a declared, authorized computation, without requiring decryption. Central question : Can authentication tags attached to HE ciphertexts be transformed alongside ciphertext evaluation, while retaining meaningful correctness and forgery-resistance guarantees? What do we expect from you?
• A focused review of prior approaches and a clearly defined ciphertext-level authentication goal.
• A candidate construction, adaptation, or well-supported feasibility/limitation analysis for GSW ciphertext operations.
• A reproducible prototype with benchmarks and tests for unauthorized modifications, covering at least basic operations where feasible.
• A final research report outlining technical results, unresolved questions, and potential extensions. # Cea-List Profil du candidat Profile : Masters 2 Localisation du poste Site Saclay Localisation du poste France, Ile-de-France, Essonne (91) Ville Saclay Critères candidat Langues Anglais (Courant) Diplôme préparé Bac+5
- Mastère Spécialisé Formation recommandée Cryptologie, Mathematics, Informatique Possibilité de poursuite en thèse Oui Demandeur Disponibilité du poste 01/03/2027

Stage - Towards Homomorphic Authentication for Encrypted Computation-Saclay -H/F

Enregistrez cette offre et organisez votre recherche

Emplois similaires à Saclay

Villes principales

Amériques

Europe

Asie / Océanie

Afrique

Stage - Towards Homomorphic Authentication for Encrypted Computation-Saclay -H/F

Enregistrez cette offre et organisez votre recherche

Emplois similaires à Saclay

Villes principales