📇 Rhumatologue · CHAMBERY · (73) · Hospitalier
Chargement de la fiche…
Chargement de la fiche…
MonRhumato.fr utilise des cookies pour mesurer l'audience (statistiques) et améliorer le site. Aucune donnée de santé identifiable n'est jamais collectée. Politique de confidentialité.
Votre choix est conservé 13 mois (durée max CNIL). Vous pouvez le modifier à tout moment via Préférences cookies.
3 raisons identifiées
Plateau technique de référence
Assistance publique – Hôpitaux de Paris (APHP) — équipements et expertise pointus pour les cas complexes
Disponibilité géographique
3 lieux d'exercice — choisissez celui qui vous arrange
Délais de RDV courts dans la région
151.5 rhumatos / 100 000 hab. — département bien doté
✨ Génération du profil synthétique IA en cours…
Indicateurs publics agrégés sur 250 M+ d'œuvres scientifiques (OpenAlex, PubMed). Traduits ici en langage patient.
Influence scientifique
Données ANS publiques (Licence Ouverte 2.0) · Enrichissements MonRhumato 100 % opt-in · Toute personne référencée peut demander la suppression ou la rectification.
24
24 articles ont été cités au moins 24fois par d'autres chercheurs — preuve que ses travaux sont repris par la communauté médicale.
h-index
Total citations reçues
2 693
Nombre de fois où d'autres équipes ont mentionné ses publications dans leurs propres travaux.
Publications totales
151
Articles, revues et chapitres référencés dans les bases académiques internationales.
Articles influents
34
Publications ayant marqué leur domaine — chacune citée au moins 10 fois par d'autres chercheurs.
i10-index
Thématiques principales
Affiliations FR : École Normale Supérieure Paris-Saclay · Centre National de la Recherche Scientifique · Université Paris-Saclay
Source : OpenAlex (CC0, OurResearch). Indicateurs académiques agrégés sur 250 M+ d'œuvres.
Articles déposés en accès libre sur l'archive ouverte des universités françaises (HAL) — gage d'activité de recherche en France.
Automatic verification of Finite Variant Property beyond convergent equational theories
2025Congrès2025 IEEE 38th Computer Security Foundations Symposium (CSF 2025)
Relations Among New CCA Security Notions for Approximate FHE
2025ArticleIACR Communications in Cryptology
A Probabilistic Logic for Concrete Security
2024CongrèsCSF 2024 - 37th IEEE Computer Security Foundations Symposium
Processing Encrypted Multimedia Data Using Homomorphic Encryption
2022Chapitre
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
2022CongrèsS&P 2022 - 43rd IEEE Symposium on Security and Privacy
Efficient image tampering localization using semi-fragile watermarking and error control codes
2022ArticleSignal Processing
Traiter des données multimédia chiffrées grâce au chiffrement homomorphe
2021Chapitre
Illuminating the Dark or how to recover what should not be seen in FE-based classifiers
2020ArticleProceedings on Privacy Enhancing Technologies
Source : HAL — archive ouverte CCSD/CNRS (couvre articles, chapitres EMC, communications congrès, thèses).
DIRECTION DES SERVICES DEPARTEMENTAUX DE L EDUCATION NATIONALE DE LA SAVOIE
131 AV DE LYON, 73000 CHAMBERY
GHU APHP UPS SITE KREMLIN BICETRE APHP
78 AV DU GENERAL LECLERC, 94275 LE KREMLIN BICETRE CEDEX
QARE SANTE
10 R DE PENTHIEVRE, 75008 PARIS
Secteur de conventionnement non disponible (médecin hospitalier ou non présent dans l'Annuaire santé CNAM des libéraux conventionnés).
Lien Doctolib = recherche Google site:doctolib.fr (le 1er résultat est presque toujours le profil correct s'il existe).
Aucune publication PubMed identifiée pour ce praticien (recherche par nom — possibles homonymes filtrés).
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
We provide the first mechanized post-quantum sound security protocol proofs. We achieve this by developing PQ-BC, a computational first-order logic that is sound with respect to quantum attackers, and corresponding mecha
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
We provide the first mechanized post-quantum sound security protocol proofs. We achieve this by developing PQ-BC, a computational first-order logic that is sound with respect to quantum attackers, and corresponding mecha
Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
This repository contains the artifacts for the paper Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon: Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
Automatic verification of Finite Variant Property beyond convergent equational theories
Computer-aided analysis of security protocols heavily relies on equational theories to model cryptographic primitives. Most automated verifiers for security protocols focus on equational theories that satisfy the Finite
Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
This repository contains the artifacts for the paper Caroline Fontaine, Adrien Koutsos, Guillaume Scerri, Théo Vignon: Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols
We provide the first mechanized post-quantum sound security protocol proofs. We achieve this by developing PQ-BC, a computational first-order logic that is sound with respect to quantum attackers, and corresponding mecha
Source : DataCite — DOIs pour datasets, logiciels, protocoles, registres patient. Hors articles (déjà couverts).