Dans cette thèse, nous étudions des modèles mathématiques concernant certains problèmes d'écoulement de fluide à densité variable. Le premier chapitre résume l'ensemble de la thèse et se concentre sur les résultats obtenus, la nouveauté et la comparaison avec la littérature existante. Dans le deuxième chapitre, nous étudions la stabilisation locale des équations non homogènes de Navier-Stokes dans un canal 2d autour du flot de Poiseuille. Nous concevons un contrôle feedback de la vitesse qui agit sur l'entrée du domaine de sorte que la vitesse et la densité du fluide soient stabilisées autour du flot de Poiseuille, à condition que la densité initiale soit donnée par une constante additionnée d'une perturbation dont le support se situe loin du bord latéral du canal. Dans le troisième chapitre, nous étudions un système couplant les équations de Navier-Stokes compressibles à une structure élastique située à la frontière du domaine fluide. Nous prouvons l'existence locale de solutions solides pour ce système couplé. Dans le quatrième chapitre, notre objectif est d'étudier la nulle- contrôlabilité d'un problemè d'interaction fluide-structure linéarisé dans un canal bi dimensional. L'écoulement du fluide est ici modélisé par les équations de Navier-Stokes compressibles. En ce qui concerne la structure, nous considérons une poutre de type Euler-Bernoulli amortie située sur une partie du bord. Dans ce chapitre, nous établissons une inégalité d'observabilité pour le problème considéré d'interaction fluid-structure linéarisé qui constitue le premier pas vers la preuve de la nulle contrôlabilité du système. / In this thesis we study mathematical models concerning some fluid flow problems with variable density. The first chapter is a summary of the entire thesis and focuses on the results obtained, novelty and comparison with the existing literature. In the second chapter we study the local stabilization of the non-homogeneous Navier-Stokes equations in a 2d channel around Poiseuille flow. We design a feedback control of the velocity which acts on the inflow boundary of the domain such that both the fluid velocity and density are stabilized around Poiseuille flow provided the initial density is given by a constant added with a perturbation, such that the perturbation is supported away from the lateral boundary of the channel. In the third chapter we prove the local in time existence of strong solutions for a system coupling the compressible Navier-Stokes equations with an elastic structure located at the boundary of the fluid domain. In the fourth chapter our objective is to study the null controllability of a linearized compressible fluid structure interaction problem in a 2d channel where the structure is elastic and located at the fluid boundary. In this chapter we establish an observability inequality for the linearized fluid structure interaction problem under consideration which is the first step towards the direction of proving the null controllability of the system.

Ce travail se compose de deux parties. Dans la première, nous considérons l'équation de Khokhlov-Zabolotskaya-Kuznetsov (KZK) $(u_t - u u_x -\beta u_{xx})_x -\gamma \Delta_y u =0$ dans les espaces de Sobolev des fonctions p\ériodiques sur $x$ de valeur moyenne nulle. La déivation de l'\équation KZK à partir des équations de Navier-Stokes isentropiques non linéaires et de l'approximation de leurs solutions (pour les cas visqueux et non visqueux), les résultats de l'existence, de l'unicité, de la stabilité et du blow-up de la solution de KZK sont obtenus ainsi qu'un résultat sur l'existence d'une solution régulière du syst\éme de Navier-Stokes dans le demi espace avec conditions aux limites péiodiques en temps et de valeur moyenne nulle. Dans la deuxième partie, nous prouvons la contrôabilitélocale des moments de deux systèmes décrits par une équation non-linéaire d'evolution dans un espace de Banach et par une équation non-linéaire de la chaleur quand le contrôle est un multiplicateur du membre de droite. Pour les deux systémes avec une surdétermination intégrale nous obtenons des conditions suffisantes sur la taille du voisinage duquel nous pouvons prendre la fonction de la condition de surdétermination de sorte que le problème inverse ait une solution unique. Nous prouvons également le résultat de contrôlabilité pour l'équation KZK linéarisée.

Les nanofils de semiconducteurs, d'oxides métalliques ou encore les nanotubes de carbone suscitent beaucoup d'intérêt pour des applications en nanoélectronique, mais également pour le développement de nanocapteurs chimiques ou biologiques. Cet intérêt pour les capteurs est principalement motivé par les propriétés liées aux faibles dimensions radiales et aux forts ratios surface/volume de ces nano-objets qui les rendent extrêmement sensibles aux effets de surface, et par conséquent à leur environnement. Les variations de charges de surface des matériaux en fonction du milieu peuvent également être utilisées comme une voie pour l'auto-organisation de nano-objets. Ce travail s'inscrit dans cette perspective. La voie chimique explorée pour la localisation est compatible avec une intégration de nano-objets a posteriori sur une technologie CMOS silicium. Plus précisément, notre approche " Bottom Up " repose sur les variations de la charge de surface du SiO2 et du Si3N4 en fonction du pH de la solution. Après une revue de littérature sur les points de charge nulle (PZC) des différents isolants selon leurs techniques d'élaboration, nous avons étudié expérimentalement les propriétés de couches de SiO2 thermique et de Si3N4 (LPCVD). Les PZC de ces différents isolants ont été déterminés par des mesures d'impédance électrochimique réalisées sur des structures EIS et couplées avec des mesures d'angle de contact en fonction du pH. Une étude systématique en fonction du pH (1.5 à 4.5) a été réalisée et un protocole expérimental a pu être mis en place pour démontrer la localisation préférentiellement les nanofils de silicium sur Si3N4. Nous avons pu démontrer qu'une localisation quasi parfaite était possible pour un pH compris entre 3 et 3,25 conformément au modèle électrostatique proposé. Le procédé développé présente l'avantage d'être simple, reproductible et peu coûteux. Il utilise une chimie très classique à température ambiante pour localiser des nano-objets silicium sans présenter de risque pour les dispositifs CMOS des niveaux inférieurs.

Cette thèse traite des modes de Lamb à vitesse de groupe nulle. Ces modes singuliers, pour lesquels la vitesse de groupe est nulle et la vitesse de phase finie, donnent lieu à des résonances locales étroites aux propriétés très intéressantes. Leur fréquence dépend de l'épaisseur et des propriétés mécaniques de la plaque, ouvrant ainsi des perspectives intéressantes en contrôle non destructif (CND). Les propriétés de ces modes ont d'abord été rappelées. L'étude expérimentale a été menée en utilisant un dispositif optique sans contact comprenant un laser source impulsionnel et une sonde interférométrique, pour la génération et la détection de ces modes. Les résonances ont été utilisées pour déterminer l'épaisseur et les constantes élastiques de plaques et d'un tube anisotrope. Ensuite, la résolution latérale de la mesure d'épaisseur a été étudiée. L'influence du bord de la plaque a été explorée : une transition abrupte entre la première résonance ZGV et la résonance de bord a été observée à la distance d'une épaisseur du bord. L'effet sur les résonances ZGV du dépôt d'une couche mince a alors été étudié numériquement, permettant ainsi la mesure de l'épaisseur de couches d'or de quelques centaines de nanomètres déposées sur un substrat millimétrique. Pour finir, le rôle des pertes a été examiné dans deux cas distincts, l'atténuation intrinsèque et le rayonnement dans un fluide en contact sur une face.

Les smooth (ou universal) projective hash functions ont été introduites par Cramer et Shoup, à Eurocrypt'02, comme un outil pour construire des schémas de chiffrement efficaces et sûrs contre les attaques à chiffrés choisis. Depuis, elles ont trouvé de nombreuses applications, notamment pour la construction de schémas d'authentification par mot de passe, d'oblivious transfer, de signatures en blanc, et de preuves à divulgation nulle de connaissance. Elles peuvent êtres vues comme des preuves implicites d'appartenance à certains langages. Un problème important est de caractériser pour quels langages de telles fonctions existent.Dans cette thèse, nous avançons dans la résolution de ce problème en proposant la notion de diverse modules. Un diverse module est une représentation d'un langage, comme un sous-module d'un module plus grand, un module étant un espace vectoriel sur un anneau. À n'importe quel diverse module est associée une smooth projective hash function pour le même langage. Par ailleurs, presque toutes les smooth projective hash functions actuelles sont construites de cette manière.Mais les diverse modules sont aussi intéressants en eux-mêmes. Grâce à leur structure algébrique, nous montrons qu'ils peuvent facilement être combinés pour permettre de nouvelles applications, comme les preuves implicites à divulgation nulle de connaissance (une alternative légère aux preuves non-interactives à divulgation nulle de connaissance), ainsi que des preuves non-interactives à divulgation nulle de connaissance et one-time simulation-sound très efficaces pour les langages linéaires sur les groupes cycliques. / Smooth (or universal) projective hash functions were first introduced by Cramer and Shoup, at Eurocrypt'02, as a tool to construct efficient encryption schemes, indistinguishable under chosen-ciphertext attacks. Since then, they have found many other applications, including password-authenticated key exchange, oblivious transfer, blind signatures, and zero-knowledge arguments. They can be seen as implicit proofs of membership for certain languages. An important question is to characterize which languages they can handle.In this thesis, we make a step forward towards this goal, by introducing diverse modules. A diverse module is a representation of a language, as a submodule of a larger module, where a module is essentially a vector space over a ring. Any diverse module directly yields a smooth projective hash function for the corresponding language, and almost all the known smooth projective hash functions are constructed this way.Diverse modules are also valuable in their own right. Thanks to their algebraic structural properties, we show that they can be easily combined to provide new applications related to zero-knowledge notions, such as implicit zero-knowledge arguments (a lightweight alternative to non-interactive zero-knowledge arguments), and very efficient one-time simulation-sound (quasi-adaptive) non-interactive zero-knowledge arguments for linear languages over cyclic groups.

Ces dernières années, les modes de Lamb à vitesse de groupe nulle (ZGV) se sont révélés être un outil efficace pour sonder localement et précisément l'épaisseur d'un échantillon ou les propriétés mécaniques de matériaux isotropes ou anisotropes. Ce type particulier d'ondes guidées, telles de fortes résonances locales de la structure, résulte de l'interférence de deux ondes de Lamb ayant une vitesse de phase opposée et coexistant pour un couple fréquence-nombre d'ondes particulier. Les ultrasons laser ont démontré leur capacité à générer et détecter efficacement de telles résonances locales dans la gamme des MHz. En effet, la configuration tout optique, constituée d'une source laser pulsée pour générer les ondes élastiques et d'un interféromètre pour sonder le déplacement normal associé, évite tout contact avec l'échantillon, limitant ainsi l'élargissement ou la suppression de résonances. L'utilisation de modes ZGV pour suivre la fatigue des matériaux et sonder des phénomènes non linéaires reste cependant un défi et constitue le cœur des travaux de recherche présentés ici. La partie théorique porte sur la compréhension de l’effet de la fatigue mécanique sur les modes ZGV à travers l’analyse fréquence-nombre d’ondes des modes de Lamb. La partie expérimentale est consacrée à l’application de cette technique pour l'ECND et le suivi de la fatigue de plaques métalliques minces. Les modes ZGV en ultrasons laser montrent un grand potentiel pour localiser les dommages dus à la fatigue, prédire la vie en fatigue et évaluer qualitativement, voire quantitativement, les différents stades de dommages causés par la fatigue. / In recent years, zero-group-velocity (ZGV) Lamb modes have proven to be an efficient tool to probe locally and very accurately the thickness of a sample or the mechanical properties of either isotropic or anisotropic materials. This particular type of guided waves, corresponding to sharp local resonances of the structure, results of the interference of two Lamb waves having opposite phase velocity and coexisting at a couple given frequency-wavenumber. The laser ultrasonic technique has demonstrated its ability to efficiently generate and detect such local resonances within the MHz frequency range. Indeed, the all-optical setup, consisting of a pulsed laser source to generate elastic waves and of an interferometer to probe the associated normal displacement, avoids any contact with the sample, hence limiting the broadening or suppression of the resonances. Yet, the use of ZGV Lamb modes to monitor material fatigue and to probe nonlinear phenomena remains challenging and is the core of the here-reported research. The theoretical part of this PhD research deals with the understanding of the effect of mechanical fatigue on ZGV Lamb modes through the frequency-wavenumber analyzes of the Lamb waves. The experimental part of the PhD research is dedicated to the application of this technique for the nondestructive characterization and for the monitoring of mechanical and thermal fatigue of thin metal plates. Zero-group-velocity Lamb modes in laser ultrasonics shows great promises to locate fatigue damage, to predict the fatigue lifetime, and to qualitatively, and even quantitatively, assess the different stages of fatigue damage in   m- to potentially cm-thick solid plates.

Les cristaux granulaires sont des structures périodiques de particules disposées en réseau cristallin. Les interactions entre ces billes peuvent être modélisées par leurs contacts, qui ont des dimensions et des masses effectives beaucoup plus petites que celles des billes. Ceci induit une propagation d'ondes élastiques dans les structures granulaires avec des vitesses significativement plus lentes que dans le matériau des grains individuels. En outre, en raison de forces de cisaillement non centrales, les rotations de particules peuvent être initiées, conduisant à des modes de phononiques supplémentaires dans ces cristaux. Dans ce manuscrit, on étudie la propagation d’ondes dans les cristaux granulaires monocouche bidimensionnels avec un mouvement des particules hors-plan ou dans le plan. Les propriétés phononiques sont étudiées, y compris les points de Dirac, les modes de fréquence nulle, les modes à vitesse de groupe nulle et leur transformation en modes de propagation lente. En outre, en présence de bords, on peut prévoir également des ondes de bord élastiques à fréquence nulle et extrêmement lentes dans des cristaux granulaires en « nid d'abeille » (graphène granulaire). En outre, les propriétés topologiques des ondes de bord rotationelles-transverses dans un graphène granulaire sont théoriquement démontrées. En induisant une transition topologique, qui transforme l'ordre topologique du graphène granulaire de trivial en non trivial, on peut observer le transport de bord topologique dans le graphène granulaire. Les théories développées pourraient mener potentiellement à des applications sur le contrôle des ondes élastiques par des structures granulaires. / Granular crystals are spatially periodic structures of elastic particles arranged in crystal lattices. The interactions between particles take place via their elastic interconnections, which are of much smaller dimensions and weights than the beads. This induces propagation of elastic waves in granular structures at significantly slower velocities than in the individual grains. In addition, due to the existence of non-central shear forces, rotations of particles can be initiated, leading to extra phononic modes in the crystals. In the manuscript, wave dynamics in two-dimensional monolayer granular crystals with either out-of-plane or in-plane particle motion is studied. The phononic properties are investigated, including Dirac points, zero-frequency modes, zero-group-velocity modes and their transformation into slow propagating phononic modes. Furthermore, in the presence of edges/boundaries, zero-frequency and extremely slow elastic edge waves can be also predicted in mechanical granular honeycomb crystals (granular graphene). In addition, topological properties of rotational edge waves in a granular graphene are theoretically demonstrated. By inducing topological transition, which turns the topological order of granular graphene from trivial to nontrivial, topological edge transport in the granular graphene can be observed. The developed theories could promote the potential applications of designed granular structures with novel elastic wave propagation properties.

La sécurité de l’information repose sur la bonne interaction entre différents niveaux d’abstraction : les composants matériels, systèmes d’exploitation, algorithmes, et réseaux de communication. Cependant, protéger ces éléments a un coût ; ainsi de nombreux appareils sont laissés sans bonne couverture. Cette thèse s’intéresse à ces différents aspects, du point de vue de la sécurité et de la cryptographie. Nous décrivons ainsi de nouveaux algorithmes cryptographiques (tels que des raffinements du chiffrement de Naccache–Stern), de nouveaux protocoles (dont un algorithme d’identification distribuée à divulgation nulle de connaissance), des algorithmes améliorés (dont un nouveau code correcteur et un algorithme efficace de multiplication d’entiers),ainsi que plusieurs contributions à visée systémique relevant de la sécurité de l’information et à l’intrusion. En outre, plusieurs de ces contributions s’attachent à l’amélioration des performances des constructions existantes ou introduites dans cette thèse. / Information security relies on the correct interaction of several abstraction layers: hardware, operating systems, algorithms, and networks. However, protecting each component of the technological stack has a cost; for this reason, many devices are left unprotected or under-protected. This thesis addresses several of these aspects, from a security and cryptography viewpoint. To that effect we introduce new cryptographic algorithms (such as extensions of the Naccache–Stern encryption scheme), new protocols (including a distributed zero-knowledge identification protocol), improved algorithms (including a new error-correcting code, and an efficient integer multiplication algorithm), as well as several contributions relevant to information security and network intrusion. Furthermore, several of these contributions address the performance of existing and newly-introduced constructions.

Cette thèse porte sur l’étude de quelques questions liées à l’identifiabilité et l’identification d’un problème inverse non-linéaire de source. Il s’agit de l’identification d’une source ponctuelle dépendante du temps constituant le second membre d’une équation de type advection-dispersion-réaction à coefficients variables. Dans le cas monodimensionnel, la souplesse du modèle stationnaire nous a permis de développer des réponses théoriques concernant le nombre des capteurs nécessaires et leurs emplacements permettant d’identifier la source recherchée d’une façon unique. Ces résultats nous ont beaucoup aidés à définir la ligne de conduite à suivre afin d’apporter des réponses similaires pour le modèle transitoire. Quant au modèle bidimensionnel transitoire, en utilisant quelques résultats de nulle contrôlabilité frontière et des mesures de l’état sur la frontière sortie et de son flux sur la frontière entrée du domaine étudié, nous avons établi un théorème d’identifiabilité et une méthode d’identification permettant de localiser les deux coordonnées de la position de la source recherchée comme étant l’unique solution d’un système non-linéaire de deux équations, et de transformer l’identification de sa fonction de débit en la résolution d’un problème de déconvolution. La dernière partie de cette thèse discute la difficulté principale rencontrée dans ce genre de problèmes inverses à savoir la non identifiabilité d’une source dans sa forme abstraite, propose une alternative permettant de surmonter cette difficulté dans le cas particulier où le but est d’identifier le temps limite à partir duquel la source impliquée a cessé d’émettre, et donc ouvre la porte sur de nouveaux horizons. / The thesis deals with the two main issues identifiability and identification related to a nonlinear inverse source problem. This problem consists in the identification of a time-dependent point source occurring in the right hand-side of an advection-dispersion-reaction equation with spatially varying coefficients. Starting from the stationnary case in the one-dimensional model, we derived theoritical results defining the necessary number of sensors and their positions that enable to uniquely determine the sought source. Those results gave us a good visibility on how to proceed in order to obtain similar results for the time-dependent (evolution) case. As far as the two-dimensional evolution model is concerned, using some boundary null controllability results and the records of the generated state on the inflow boundary and its flux on the outflow boundary of the monitored domain, we established a constructive identifiability theorem as well as an identification method that localizes the two coordinates of the sought source position as the unique solution of a nonlinear system of two equations and transforms the identification of its time-dependent intensity function into solving a deconvolution problem. The last part of this thesis highlights the main difficulty encountred in such inverse problems namely the nonidentifiabilityof a source in its abstract form, proposes a method that enables to overcome this difficulty in the particular case where the aim is to identify the time active limit of the involved source. And thus, this last part opens doors on new horizons and prospects.

L’étude du transfert radiatif dans les gaz (atmosphères planétaires, chambres de combustion, etc.) se heurte à deux principales difficultés : les hétérogénéités et la dépendance spectrale des propriétés radiatives du milieu d’intérêt. Les travaux présentés dans ce manuscrit proposent, au travers d’une approche statistique du rayonnement, une solution à ces deux limites qui ne nécessite aucune approximation de modèle physique ou numérique. Cette approche conduira au développement d’algorithmes de Monte-Carlo considérés à l’heure actuelle comme méthodes de référence dans la communauté du transfert radiatif. La difficulté liée aux hétérogénéités du milieu participant sera traitée par une technique empruntée à d’autres disciplines de la physique du transport : les algorithmes à collisions nulles. Leur application au rayonnement consiste à ajouter arbitrairement aux évènements d’absorption et de diffusion, un troisième type de collision n’ayant aucun effet sur le transport de photons : les collisions nulles. Ainsi, le coefficient d’extinction résultant de ces trois types de collision pourra être assumé comme homogène. Ensuite, il sera montré comment cette même technique lève un second verrou permettant de repenser de façon statistique l’idée de coefficient d’absorption. Cela ouvrira la voie à des algorithmes de Monte-Carlo qui estiment directement une observable radiative à partir de paramètres de transitions répertoriés dans des bases de données spectroscopiques, sans avoir à précalculer rigoureusement le coefficient d’absorption. / Two major challenges are encountered when studying radiative transfer in gases (e.g. combustion chambers or planetary atmospheres): heterogeneity and spectral dependence of radiative properties. The work introduced in this manuscript, addresses this problem through a statistical approach of radiation that requires no model or numerical approximation. This approach leads to the development of Monte-Carlo methods, currently considered as reference solutions in the community of radiative transfer. The difficulty related to heterogeneity is handled by a technique borrowed from other fields of transport physics: null-collision algorithms. Their application to radiation consists in adding to the events of absorption and scattering a third arbitrary type of collision that has no effect on the photon transport. Thus, the extinction coefficient resulting from these three types of collisions can be assumed to be homogeneous. Then, it is shown how this very same technique opens the door to rethinking statistically the concept of absorption coefficient. This leads to Monte-Carlo algorithms that directly estimate radiative observables from transition parameters indexed in molecular spectroscopic databases, without the need of rigorously precomputing absorption coefficients.