Fromherz Aymeric
Chercheur ou chercheuse identifié(e) à partir d’une publication HAL.
Activité actuelle non vérifiée
Activité scientifique
Informations établies à partir des publications HAL présentes dans le périmètre importé.
Domaines HAL
Mots-clés fréquents
Publications récentes repérées
- Scylla: Translating an Applicative Subset of C to Safe Rust2026 · ArticleConsulter →
- CV2F ★ : Combining CryptoVerif and F ★ for Proving Security of Protocol Implementations2026 · Prépublication ou document de travailConsulter →
Rattaché à
Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.
- Centre Inria de Paris · preuve HAL en 2026
Implantations
- Localisation de la structure de rattachement « Centre Inria de Paris » : 48 rue Barrault ,CS 61534, 75647, Paris, France
Explorer les liens
Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.
- Rattachement documentéCentre Inria de ParisStructure fédérativeConsulter →
Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.
Sources et actualisation
HAL
- Fiche mise à jour
- 06/10/2026
Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.
Proposer une correction
Connectez-vous pour envoyer une proposition privée à l’administration.
Se connecter
Une erreur ou une précision à apporter ?
Votre commentaire suivra les règles habituelles de modération du site.